News tagged with software systems

Teaming up with robots

Critical situations are occurring with greater frequency at industrial workplaces – situations that could lead to serious job-related accidents. With the "4Save" toolbox from Fraunhofer, these dangers do not arise at all. ...

dateMar 27, 2013 in Engineering
shares0 comments 0

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 ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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.

dateMar 15, 2013 in Security
shares0 comments 0

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 ...

dateMar 14, 2013 in Software weblog
shares0 comments 0

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 ...

dateMar 07, 2013 in Computer Sciences
shares0 comments 0

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.

dateFeb 26, 2013 in Engineering
shares0 comments 0