662 search results - page 71 / 133 » Model Checking Procedures for Infinite State Systems |
128
click to vote
OSDI
2006
ACM
16 years 3 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
Voted
APSEC
2009
IEEE
15 years 25 days ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
132
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
102
click to vote
ISAAC
2003
Springer
15 years 8 months ago
2003
Springer
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...
111
click to vote
STACS
2005
Springer
15 years 8 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...