370 search results - page 43 / 74 » Object-Oriented Abstract State Machines |
92
Voted
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
ICALP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
FDL
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
ENTCS
2007
14 years 9 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...