1888 search results - page 153 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
122
Voted
CIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
150
Voted
SIMPRA
2008
15 years 3 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
126
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
113
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
240
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...