1888 search results - page 95 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
128
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: With the growing complexity of parallel architectures, the probability of system failures grows, too. One approach to cope with this problem is the self-healing, one of the organ...
142
click to vote
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
106
click to vote
FM
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
121
Voted
GPC
2008
Springer
15 years 4 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
118
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...