Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...

Mac computers not immune to malware

The biggest vulnerability to Macintosh computers is the belief among their devoted users that Apple's superior operating system makes them immune to malware, experts say.

Eye-tracking Umoove parks in closed-beta zone

(Phys.org) —A small company called Umoove, which specializes in eye- and head-tracking technology, will offer software development kits so that developers can grow the Umoove platform for mobile users everywhere. The company ...

Monitoring manufacturing processes to optimize energy consumption

Saving energy is becoming ever more important for manufacturing companies. One prerequisite is to capture the machines' energy consumption for each step in the production process. This can be achieved with a monitoring system ...

Open software platform to bring down energy costs

Energy is getting more and more expensive, and experts are predicting record electricity and heating prices. A software platform promises to lighten the load for households and businesses by making it easier for consumers ...

Oranges and lemons: Spot the difference

A computer recognition system that is 99% accurate can identify different fruits and vegetables, even the particular strain of apples or plums, for instance. Research to be published in the International Journal of Applied ...

Tracking trains with satellite precision

Taking a cue from how ESA controls satellites, Spanish railways now have their own high-tech upgrade to keep travellers abreast of when the next train is going to pull into the station.

India tech tycoon donates $2.3 bn to charity

Indian software tycoon Azim Premji said Saturday he has given $2.3 billion to an education charity that he controls, reportedly the biggest charitable donation in the country's recent history.

page 11 from 23