211 search results - page 14 / 43 » Safe Automotive Software Development |
ENTCS
2007
13 years 11 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
USENIX
2008
14 years 1 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
AINA
2009
IEEE
14 years 4 months ago
2009
IEEE
— To investigate how aged drivers can drive more safely, we are developing an immersive virtual driving environment. It consists of precise force feedback steering system device,...
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
CBSE
2005
Springer
14 years 4 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...