Microsoft was expected to launch their  Windows 8 during Q2/Q3 of 2012. Wait, we have something more for you on that. The software behemoth is also said to be gearing up to deliver the Windows 8 RTM (Release to Manufacturing) in April 2012. The Windows 8 RC (Release Candidate) is also rumored to be waiting [...]

Opera Software has confirmed the departure of one of its co-founders, Jon von Tetzchner, who helped start the company back in 1995. The company was most famous for the Opera Browser in both its desktop and mobile forms and was responsible for the introduction of tabbed browsing and browser-based gesture support on touchscreen devices, amongst many [...]

To do so, the researchers first developed a model of a distributed car control system in which computers and sensors in each car combine to control acceleration, braking and lane changes, as well as entering and exiting the highway. They then used mathematical methods to formally verify that the system design would keep cars from [...]