3307 search results - page 388 / 662 » The meaning of concurrent programs |
179
click to vote
ICCBSS
2005
Springer
16 years 12 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
187
click to vote
ESORICS
2004
Springer
16 years 8 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
170
click to vote
CW
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
173
click to vote
HAPTICS
2003
IEEE
16 years 5 days ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
182
click to vote
ADBIS
2003
Springer
16 years 3 days ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...