2930 search results - page 170 / 586 » A Constructive Approach to the Design of Distributed Systems |
129
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
125
click to vote
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...
141
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
135
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
A language for semi-structured documents, XML has emerged as the core of the web services architecture, and is playing crucial roles in messaging systems, databases, and document p...
126
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...