4286 search results - page 726 / 858 » Formalizing Service Interactions |
149
Voted
SP
2008
IEEE
15 years 2 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
121
Voted
JBI
2010
15 years 2 months ago
2010
Healthcare processes can be characterized as weakly-connected interacting lightweight workflows coping with different levels of granularity. Classical workflow notations are fal...
130
Voted
TKDE
2010
15 years 2 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
166
Voted
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
123
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...