News tagged with computer software

Designing a better satellite

( —If you have ever plugged your digital camera into your desktop to download photos, then you have used what is known in computing circles as a "plug and play" interface. Basically, plug and play refers to any ...

dateMar 29, 2013 in Space Exploration
shares0 comments 0

What makes SKorea cyberattacks so hard to trace?

The attacks that knocked South Korean banks offline this week appear to be the latest examples of international "cyberwar." But among the many ways that digital warfare differs from conventional combat: there's often no good ...

dateMar 21, 2013 in Internet
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