4447 search results - page 503 / 890 » Model Checking Games |
211
click to vote
INFOCOM
2003
IEEE
16 years 25 days ago
2003
IEEE
Abstract— Standard embeded sensor nework models emphasize energy efficiency and distributed decision-making by considering untethered and unattended sensors. To this we add two ...
258
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
Computer users express a strong desire to prevent attacks and to reduce the losses from computer and information security breaches. However, security compromises are common and wi...
205
click to vote
JGO
2008
15 years 7 months ago
2008
Abstract In this paper we present an evolutionary variational inequality model of vaccination strategies games in a population with a known vaccine coverage profile over a certain ...
331
click to vote
EICS
2011
ACM
14 years 11 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
343
click to vote
GAMESEC
2011
14 years 7 months ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...