3686 search results - page 425 / 738 » Comprehensive comprehensions |
151
click to vote
AMR
2005
Springer
15 years 9 months ago
2005
Springer
As Consumer Electronics devices get interconnected, the issue of aligning their data management solutions becomes prominent. If we want to deploy comprehensive applications that ar...
114
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
118
click to vote
CEAS
2005
Springer
15 years 9 months ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...
194
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
119
click to vote
CISC
2005
Springer
15 years 9 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...