525 search results - page 23 / 105 » Model Checking Systems of Replicated Processes with Spin |
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
CAV
1998
Springer
14 years 26 days ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
CMSB
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Although well understood in the single-agent framework, the use of traditional reinforcement learning (RL) algorithms in multi-agent systems (MAS) is not always justified. The fe...
ISDA
2009
IEEE
14 years 3 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...