2930 search results - page 14 / 586 » A Constructive Approach to the Design of Distributed Systems |
93
Voted
DALT
2005
Springer
15 years 5 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
99
Voted
WMRD
1990
15 years 3 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
SAFECOMP
1999
Springer
15 years 3 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
123
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 1 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
109
click to vote
IJSEKE
1998
14 years 11 months ago
1998
Effective fault-handling in emerging complex distributed applications requires the ability to dynamically adapt resource allocation and faulttolerance policies in response to poss...