1643 search results - page 232 / 329 » Consistability: Describing Usually Consistent Systems |
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
103
Voted
CDC
2009
IEEE
14 years 8 months ago
2009
IEEE
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
105
click to vote
FORTE
2009
14 years 8 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
110
Voted
VEE
2012
ACM
13 years 6 months ago
2012
ACM
This paper describes the design and implementation of SecondSite, a cloud-based service for disaster tolerance. SecondSite extends the Remus virtualization-based high availability...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...