News tagged with computational software

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

Toyota, Microsoft beef up Gazoo.com Net service

Toyota is teaming up with Microsoft for an Internet service that links cars, home computers and smartphones so users can find nearby tourist spots, connect on social networks and learn about new models.

dateApr 26, 2013 in Telecom
shares0 comments 0

Early look at Windows 8 baffles consumers (Update)

The release of Microsoft's Windows 8 operating system is a week away, and consumers are in for a shock. Windows, used in one form or another for a generation, is getting a completely different look that will force users to ...

dateOct 19, 2012 in Software
shares0 comments 64