4447 search results - page 392 / 890 » Model Checking Games |
206
click to vote
NETGAMES
2003
ACM
16 years 2 days ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
183
click to vote
NETGAMES
2006
ACM
16 years 24 days ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
179
click to vote
DIGRA
2005
Springer
16 years 11 days ago
2005
Springer
Cinematography describes principles and techniques pertaining to the effective use of cameras to film live action. The correct application of these principles and techniques produ...
168
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
As virtual worlds and games grow in both personal and cultural importance, present limitations in access to them is increasingly limiting their ability to achieve their potential....
227
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...