News tagged with control software

Berlin company counts on the autistic

When German software giant SAP said last month it plans to employ hundreds of autistic people as IT experts, the news was welcomed especially at a small Berlin computer consulting firm.

dateJun 02, 2013 in Other
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

Australian central bank computers hacked

Computer networks at the Reserve Bank of Australia have been hacked, officials said Monday, with some reportedly infected by Chinese-developed malware searching for sensitive information.

dateMar 11, 2013 in Internet
shares0 comments 1