235 search results - page 32 / 47 » Software Components for Reliable Automotive Systems |
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
A holy grail of component-based software engineering is "write-once, reuse everywhere". However, in modern distributed, component-based systems supporting emerging appli...
ENTCS
2002
14 years 9 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
ERLANG
2006
ACM
15 years 3 months ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...