2930 search results - page 84 / 586 » A Constructive Approach to the Design of Distributed Systems |
135
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
130
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
TPDS
1998
15 years 1 months ago
1998
—Coordinated checkpointing simplifies failure recovery and eliminates domino effects in case of failures by preserving a consistent global checkpoint on stable storage. However, ...
104
click to vote
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
111
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...