118 search results - page 21 / 24 » Concurrent Omega-Regular Games |
NETGAMES
2006
ACM
15 years 3 months ago
2006
ACM
This paper proposes a hybrid architecture for distributed virtual environments, utilizing servers alongside peer-to-peer components. Current research into peer-based systems seeks...
SACRYPT
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
ENTCS
2007
14 years 9 months ago
2007
Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
LCN
2006
IEEE
15 years 3 months ago
2006
IEEE
The popularity of distributed interactive applications has exploded in the last few years. For example, massive multi-player online games have become a fast growing, multi-million...