955 search results - page 71 / 191 » Model Checking Operator Procedures |
WSC
2000
13 years 10 months ago
2000
SIMPROCESS was used to plan a phased migration from a traditional municipal court to a paperless court. The simulation model was also used to provide the financial justification, ...
SMI
2010
IEEE
13 years 6 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
IPL
2007
13 years 8 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
ENTCS
2008
13 years 8 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...