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

Review: 'Smart' LED bulbs controlled by iPhones

LED bulbs seem to be the future of home lighting: They save electricity, they're durable and they don't contain mercury like compact fluorescents. But having them produce white light like any old light bulb is like using ...

Leap jumps to capture next step in motion control

In a bustling tent set up in a parking lot here at the South By Southwest Interactive Festival, people are pointing their hands and gesturing with chopsticks as they guide various actions on a dozen computer screens.

Australian central bank computers hacked

Computer networks at the Reserve Bank of Australia have been hacked, officials said Monday, with some reportedly infected by Chinese-developed malware searching for sensitive information.

Leap Motion targets May for pre-orders and store sales

(Phys.org) —Leap Motion will start shipping its 3-D motion controllers on pre-order basis in mid-May. Big news? For a growing Leap Motion fan base, it's great news. Leap Motion launched its sensing controller last year, ...

'Hello car, what is the password?'

As cars get clever - bristling with computer chips and networking capabilities - an EU-funded project makes sure that your car's data stays safe and the networks are secure from hackers and tampering.

page 7 from 14