5015 search results - page 53 / 1003 » Model Checking a Path |
115
click to vote
QEST
2007
IEEE
15 years 7 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...
87
Voted
ENTCS
2006
15 years 23 days 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. ...
83
Voted
PADS
1999
ACM
15 years 5 months ago
1999
ACM
99
Voted
ICWL
2010
Springer
14 years 10 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...
74
Voted
SPRINGSIM
2010
14 years 11 months ago
2010