819 search results - page 108 / 164 » Using Assumptions to Distribute CTL Model Checking |
132
click to vote
SAB
2004
Springer
15 years 6 months 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...
111
click to vote
SWS
2004
ACM
15 years 6 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
115
Voted
TROB
2010
14 years 7 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
128
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
120
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...