1130 search results - page 60 / 226 » Challenges in the design of automotive software |
FAC
2006
14 years 9 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
DRM
2003
Springer
15 years 3 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
AIEDAM
2008
14 years 10 months ago
2008
Rationale research in software development is a challenging area because while there is no shortage of advocates for its value, there is also no shortage of reasons for why rationa...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...