1833 search results - page 230 / 367 » Mechanized Verification with Sharing |
154
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
153
click to vote
IPPS
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—Many studies have shown that load imbalancing causes significant performance degradation in High Performance Computing (HPC) applications. Nowadays, Multi-Threaded (MT1...
190
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Studies of worm outbreaks have found that the speed of worm propagation makes manual intervention ineffective. Consequently, many automated containment mechanisms have been propos...
157
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
184
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...