252 search results - page 43 / 51 » Why Do Upgrades Fail and What Can We Do about It |
ENTCS
2002
13 years 7 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
OOPSLA
1997
Springer
13 years 11 months ago
1997
Springer
ed Abstract Factory is yet another. When patterns cooperate, the cooperation itself can give rise to problems, contexts, trade-offs, and consequences. For instance, should a Visito...
EMSOFT
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
DRUMS
1998
Springer
13 years 12 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...