Sciweavers

661 search results - page 62 / 133
» Online Mechanisms
Sort
View
VRCAI
2009
ACM
15 years 6 months ago
Towards Virtual Reality games
Game engines of cinematic quality, broadband networking and advances in Virtual Reality (VR) technologies are setting the stage to allow players to have shared, “better-than-lif...
Andrei Sherstyuk, Dale Vincent, Anton Treskunov
JUCS
2010
108views more  JUCS 2010»
14 years 10 months ago
Integrating Social Networks for Context Fusion in Mobile Service Platforms
: It is important for mobile service providers to be aware of user contexts and to provide contextually relevant mobile services to users. Thereby, in this paper, we propose a nove...
Jason J. Jung
TARK
2007
Springer
15 years 6 months ago
Knowledge-based modelling of voting protocols
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
A. Baskar, Ramaswamy Ramanujam, S. P. Suresh
IADIS
2003
15 years 1 months ago
Developing Seamless Discovery of Scholarly and Trade Journal Resources via OAI and RSS
The usefulness of online information such as e-publishing and timely notification on the latest scientific or professional news has been widely accepted. However, access to such v...
Santiago Chumbe, Roddy MacLeod
FOSSACS
2005
Springer
15 years 5 months ago
Fault Diagnosis Using Timed Automata
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza