1524 search results - page 31 / 305 » Operational Semantics of Hybrid Systems |
CC
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
66
Voted
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
81
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
SOSP
1997
ACM
14 years 11 months ago
1997
ACM
This paper presents HAC, a novel technique for managing the client cache in a distributed, persistent object storage system. HAC is a hybrid between page and object caching that c...