850 search results - page 74 / 170 » Certification of System Architecture Dependability |
146
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Service-Oriented Architecture (SOA) can provide a paradigm
for constructing context-aware collaboration systems. Particularly, the
promise of inexpensive context-aware collaborat...
OSDI
2006
ACM
16 years 5 days ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...