5015 search results - page 828 / 1003 » Model Checking a Path |
112
click to vote
MICRO
2008
IEEE
15 years 2 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
146
click to vote
GIS
2010
ACM
14 years 9 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
128
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
The primary goal of Web usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of user sessions and discoveri...
138
click to vote
MSWIM
2009
ACM
15 years 9 months ago
2009
ACM
Wireless sensor networks have attracted increasing attentions considering their potentials for being widely adopted in both emerging civil and military applications. A common prac...
102
click to vote
SAGT
2009
Springer
15 years 8 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 ...