BioWare Targeting Spring 2011 For Star Wars: The Old Republic Launch 82
from the may-the-force-eventually-be-with-you dept.
Comment: Nethack (Score 1) 460
Microsoft faces injunction on selling Word->
Patently O has the writeup."
Link to Original Source
Mathematical proof of OS kernel code 1
Breakthrough software testing technology hailed by a Cambridge University expert as a tool able to deliver "currently unimaginable standards of reliability" to software has been unveiled by NICTA chief executive officer Dr David Skellern. [...] researchers last week completed the world's first formal machine-checked proof of a general purpose operating system. In short the technology is a way for developers to test that the software they have designed works the way it is expected to, before it is put into production. According to Dr Skellern, NICTA's formal verification research team has completed the world's first mathematical proof of a general purpose operating system kernel. The Secure Embedded L4 (seL4) microkernel is being initially targeted at applications in defence and safety-critical sectors.
Is it finally time to switch our desktops to microkernels in order to get bug-free OSs?"
Microsoft looses patent fight for Word
Judge upholds $200,000,000 Verdict, adds $40 million for willful infringement, $37 million in interest, and $144,060 per day until the date of final judgment. Most importantly... Judge's injunction prohibits Microsoft from selling some Microsoft Word products.
Story: http://sev.prnewswire.com/banking-financial-services/20090811/DA6039911082009-1.html
Will Microsoft change sides in the software patent battle of mutually assured destruction?"
Palm Pre reports your location, usage, to Palm-> 1
Link to Original Source
Judge orders Microsoft to stop selling Word 1
Judge Leonard Davis of the U.S. District Court for the Eastern District of Texas issued a permanent injunction that "prohibits Microsoft from selling or importing to the United States any Microsoft Word products that have the capability of opening