6808 search results - page 1188 / 1362 » Distributed Concurrency Control |
134
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
122
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
155
click to vote
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
In 2003, interests in the Institute of Electronics and Electrical Engineering (IEEE) 802.11 Working Group (WG) led to the formation of Task Group (TG) "s". 802.11s develo...
112
Voted
ACOM
2004
Springer
15 years 7 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
125
Voted
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The design of the IP protocol makes it difficult to reliably identify the originator of an IP packet making the defense against Distributed Denial of Service attacks one of the ha...