5015 search results - page 53 / 1003 » Model Checking a Path |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
ENTCS
2006
13 years 8 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
PADS
1999
ACM
14 years 1 months ago
1999
ACM
ICWL
2010
Springer
13 years 6 months ago
2010
Springer
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
SPRINGSIM
2010
13 years 7 months ago
2010