7920 search results - page 1311 / 1584 » The Swarm Application Framework |
211
click to vote
INTERACTION
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
165
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...
184
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
176
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
249
Voted
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...