4099 search results - page 30 / 820 » A Framework for Interactive Proof |
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
82
Voted
SIGDIAL
2010
14 years 7 months ago
2010
Dialog modeling in robotics suffers from lack of generalizability, due to the fact that the dialog is heavily influenced by the tasks the robot is able to perform. We introduce in...
MKM
2007
Springer
15 years 3 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
EUROCRYPT
2007
Springer
15 years 3 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
63
Voted
HCI
2009
14 years 7 months ago
2009