580 search results - page 29 / 116 » Dependable domestic systems design: A socio-technical approa... |
EDCC
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
HCI
2009
13 years 5 months ago
2009
: Graz University of Technology has a long tradition in the design, development and research of university wide Learning Management Systems (LMS). Inspired by the iPhone Style, the...
HPCN
1995
Springer
13 years 11 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...