4447 search results - page 377 / 890 » Model Checking Games |
194
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
Game theoretic modeling and equilibrium analysis of congestion games have provided insights in the performance of Internet congestion control, road transportation networks, etc. D...
149
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
172
Voted
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
164
click to vote
FTCS
1993
15 years 8 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
173
click to vote
DSRT
2000
IEEE
15 years 11 months ago
2000
IEEE
The problem of network bundwidth limitutions is encountered in ulmost uny distributed virtuul environment or networkedgume. In U typicul client-serversetup, where the virtuul worl...