Sciweavers

3868 search results - page 28 / 774
» Open Systems in TLA
Sort
View
DSE
1998
72views more  DSE 1998»
15 years 1 months ago
Construction and management of highly available services in open distributed systems
The paper addresses the problem of the construction and management of highly available services in large, open distributed systems. A novel replication protocol is proposed to sat...
Christos T. Karamanolis, Jeff Magee
SAC
2003
ACM
15 years 7 months ago
Managing Agent Life Cycles in Open Distributed Systems
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
Frances M. T. Brazier, David G. A. Mobach, Benno J...
116
Voted
HYBRID
2003
Springer
15 years 7 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
111
Voted
LADS
2007
Springer
15 years 7 months ago
Facilitating Agent Development in Open Distributed Systems
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
Mauro Gaspari, Davide Guidi