2468 search results - page 163 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
140
Voted
SPRINGSIM
2010
15 years 2 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
139
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The present paper shows how vertical actuation alone may be used to effectively control the spatial distribution of mobile vehicles ("balloons" in air, or "drifters&...
128
Voted
PADS
2000
ACM
15 years 8 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
173
Voted
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
In an expert search task, the users' need is to identify people who have relevant expertise to a topic of interest. An expert search system predicts and ranks the expertise o...
110
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...