8337 search results - page 1351 / 1668 » Reasoning With Characteristic Models |
180
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
158
click to vote
APPT
2005
Springer
16 years 6 days ago
2005
Springer
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
150
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
158
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
171
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...