4286 search results - page 469 / 858 » Formalizing Service Interactions |
194
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
155
click to vote
IAT
2006
IEEE
16 years 22 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
200
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
194
click to vote
ICWE
2005
Springer
16 years 5 days ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
179
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...