8555 search results - page 1392 / 1711 » Property Based Coordination |
195
click to vote
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...
196
click to vote
EWSA
2004
Springer
16 years 6 days ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
176
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
156
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
154
click to vote
ICCSA
2004
Springer
16 years 6 days ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...