1728 search results - page 216 / 346 » Self-Organisation: Paradigms and Applications |
176
click to vote
ICCAD
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
170
click to vote
ICDCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...
147
click to vote
INFOCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
— Instantaneous Fair Sharing (IFS) is a traditional network ideal prescribing to share the network capacity among competing applications fairly during any infinitesimal time int...
198
click to vote
WISE
2006
Springer
16 years 11 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
158
click to vote
DEXAW
2005
IEEE
15 years 12 months ago
2005
IEEE
Resource discovery in a Grid environment is a critical problem, as a typical Grid system includes a very large number of resources, which must be readily identified and accessed ...