News tagged with software system

Tracking gunfire with a smartphone

(Phys.org) —You are walking down the street with a friend. A shot is fired. The two of you duck behind the nearest cover and you pull out your smartphone. A map of the neighborhood pops up on its screen with a large red ...

dateApr 25, 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

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