895 search results - page 158 / 179 » Dynamic Distributed Constraint Reasoning |
207
Voted
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
201
click to vote
TPDS
2008
15 years 6 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
195
Voted
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
183
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
Many value-added and content delivery services are being offered via service level agreements (SLAs). These services can be interconnected to form a service overlay network (SON) ...
218
Voted
EAGC
2003
Springer
15 years 12 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...