719 search results - page 86 / 144 » Distributed Systems specification and Adaptation: A Petri-ne... |
188
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
160
click to vote
TACAS
2000
Springer
15 years 9 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...
218
click to vote
ICDE
2009
IEEE
15 years 3 months ago
2009
IEEE
Nowadays contents in Internet like weblogs, wikipedia and news sites become "live". How to notify and provide users with the relevant contents becomes a challenge. Unlike...
267
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...
149
click to vote
ICPP
2007
IEEE
16 years 13 days ago
2007
IEEE
The demand for more computational power in science and engineering has spurred the design and deployment of ever-growing cluster systems. Even though the individual components use...