190 search results - page 11 / 38 » Towards model checking interpreted systems |
CORR
1998
Springer
13 years 7 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
AIED
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we report our work on introducing adaptations of the learner model’s presentation in adaptive educational systems, in order to bring a healthy balance between the u...