Sciweavers

2025 search results - page 276 / 405
» Theory as Game: Designing the Game Game
Sort
View
ICTAC
2009
Springer
16 years 28 days ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner
AIMS
2008
Springer
16 years 22 days ago
Cooperation under Scarcity: The Sharer's Dilemma
Abstract. Many researchers have used game theory to study the problem of encouraging cooperation in peer-to-peer and mobile ad hoc networks, where resources are provided collective...
Michael Rogers, Saleem Bhatti
GLOBECOM
2007
IEEE
16 years 21 days ago
Non-Cooperative Dynamic Spectrum Access for CDMA Networks
— Recent studies indicate the presence of a significant amount of idle licensed spectrum, in different time periods and geographic locations. Prompted by the latest regulatory ch...
George Alyfantis, Giannis F. Marias, Stathes Hadji...
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
16 years 21 days ago
An Experiment on the Effects of Interruptions on Individual Work Trajectories and Performance in Critical Environments
Interruptions are a central characteristic of work in critical environments such as hospitals, airlines, and security agencies. Often, interruptions occur as notifications of some...
Suzanne P. Weisband, Kelly J. Fadel, Elisa Mattare...
ICDCSW
2007
IEEE
16 years 21 days ago
A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bha...