4447 search results - page 345 / 890 » Model Checking Games |
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...
197
Voted
WD
2010
15 years 4 months ago
2010
The scope of this paper is the interdisciplinary measurement and modeling methodology of Quality of Experience (QoE) when playing a mobile location-based massively multiplayer onli...
181
Voted
UMUAI
2010
15 years 5 months ago
2010
Information about interactive virtual environments, such as games, is perceived by users through a virtual camera. While most interactive applications let users control the camera,...
177
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The telecommunication world keeps evolving, with the development of new technologies, and operators have to wonder if investing in the costly infrastructures and potential licenses...
206
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...