10 search results - page 1 / 2 » A Practical Approach to Verification of Mobile Systems Using... |
56
Voted
APN
2008
Springer
14 years 11 months ago
2008
Springer
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
74
Voted
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
JCIT
2008
14 years 9 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
103
click to vote
FORTE
2004
14 years 11 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...