1888 search results - page 53 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
112
Voted
ECTEL
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
156
Voted
SCP
2000
15 years 2 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
125
Voted
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper, we describe a scheme for tolerating and recovering from mid-query faults in a distributed shared nothing database. Rather than aborting and restarting queries, our s...
125
click to vote
ATAL
2009
Springer
15 years 3 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
108
Voted
AAAI
2004
15 years 4 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...