Sciweavers

414 search results - page 24 / 83
» Commitment to Correlated Strategies
Sort
View
ICC
2007
IEEE
175views Communications» more  ICC 2007»
14 years 2 months ago
Cooperative Diversity for Virtual MIMO System in Geometry-Based Stochastic Channel Model
—Cooperative diversity is effectively used to combat the correlated fading. In the existing papers on cooperative diversity, the fading channels are idealistically assumed to be ...
Hongtao Zhang, Geng-Sheng Kuo
BCSHCI
2007
13 years 9 months ago
Identifying web usability problems from eye-tracking data
Eye-tracking research is increasingly used to supplement usability tests in both commercial and academic practice. However, while there has been research into links between eyetra...
Claudia Ehmke, Stephanie Wilson
ATAL
2011
Springer
12 years 8 months ago
Solving Stackelberg games with uncertain observability
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
EMSOFT
2005
Springer
14 years 1 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
JCS
2006
157views more  JCS 2006»
13 years 8 months ago
Analysis of probabilistic contract signing
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
Gethin Norman, Vitaly Shmatikov