The nation's system for guiding planes and other aircraft is at "increased and unnecessary risk" of being hacked, according to a report by government watchdog released Monday.
IBM inventors have developed a method for managing how resources are used and work is done within a cloud by distributing control throughout the interconnected systems, reducing bottlenecks and increasing efficiency.
"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 ...
A new cyberespionage tool linked to the Flame virus has been infecting computers in Lebanon, Iran and elsewhere, security researchers said Monday.
The Flame virus believed to be part of a cyberwarfare effort against Iran was developed as early as 2006 and is linked to at least three other malware programs, a new analysis said Monday.
(Phys.org) -- Researchers have proposed a method to automatically detect a new class of software glitches in smartphones called "no-sleep energy bugs," which can entirely drain batteries while the phones are not in use.
US security firm Symantec has warned of a new computer virus similar to the malicious Stuxnet worm believed to have preyed on Iran's nuclear program.
Microsoft is the last of the three big video game console makers to unveil its latest gaming system. Tuesday's unveiling comes nearly eight years after the Xbox 360 went on sale. It follows last fall's debut of Nintendo's ...