10072 search results - page 1387 / 2015 » Composition of Model Programs |
228
click to vote
ENTCS
2006
15 years 7 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
155
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
172
click to vote
AIEDU
2005
15 years 7 months ago
2005
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
204
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
257
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...