640 search results - page 102 / 128 » Discovering State Invariants |
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
CSCW
2006
ACM
15 years 3 months ago
2006
ACM
We analyze collaborative play in an online video game, World of Warcraft, the most popular personal computer game in the United States, with significant markets in Asia and Europe...
USS
2008
15 years 2 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
WSC
2008
15 years 2 months ago
2008
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The ability for an agent to reason under uncertainty is crucial for many planning applications, since an agent rarely has access to complete, error-free information about its envi...