581 search results - page 13 / 117 » A Rewriting Based Model for Probabilistic Distributed Object... |
SIGPLAN
1998
13 years 7 months ago
1998
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
SAB
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
ECOOP
1999
Springer
13 years 11 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
HPDC
1993
IEEE
13 years 11 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...