481 search results - page 70 / 97 » Model Checking Abstract State Machines and Beyond |
153
click to vote
ARCSF
2008
15 years 3 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
121
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
144
click to vote
TIME
2006
IEEE
15 years 8 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
107
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...