142 search results - page 5 / 29 » Extended Weighted Pushdown Systems |
STACS
2005
Springer
14 years 2 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...
CONCUR
2000
Springer
14 years 6 days ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
— Current database systems are tailored to efficiently evaluate Boolean expressions which are typically used as selection conditions to restrict the result set. We propose to ad...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
PASTE
2010
ACM
14 years 1 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...