1045 search results - page 128 / 209 » Stepping into the Interactive Drama |
192
click to vote
ESORICS
2005
Springer
15 years 11 months 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....
233
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
A fast collision detection and resolution scheme is one of the key components for interactive simulation of deformable objects. It is particularly challenging to reduce the computa...
166
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
155
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating collaborative entertainment technology...
183
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...