124 search results - page 15 / 25 » Software Safety: Where's the Evidence |
CC
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
FM
2003
Springer
14 years 22 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
CODES
2000
IEEE
13 years 12 months ago
2000
IEEE
The automotive electronics industry is experiencing an era of unprecedented growth. Driven by emissions and safety legislation, fuel economy constraints, cost constraints, and cus...
UIST
1995
ACM
13 years 11 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...