370 search results - page 68 / 74 » Object-Oriented Abstract State Machines |
154
click to vote
ESWS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
131
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
133
click to vote
FAC
2008
15 years 4 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
121
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
158
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...