488 search results - page 34 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
107
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
TPPP
1994
15 years 3 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
112
click to vote
FOSSACS
2011
Springer
14 years 2 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...