3082 search results - page 308 / 617 » Deviation Analysis: A New Use of Model Checking |
154
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
196
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
151
click to vote
ICDM
2006
IEEE
16 years 20 days ago
2006
IEEE
Interpersonal interaction plays an important role in organizational dynamics, and understanding these interaction networks is a key issue for any organization, since these can be ...
141
click to vote
EVOW
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
152
click to vote
WISTP
2009
Springer
16 years 1 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...