18924 search results - page 8 / 3785 » Conformance of Distributed Systems |
SPIN
2004
Springer
14 years 25 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
ICSE
2010
IEEE-ACM
14 years 9 days ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
TASE
2012
IEEE
12 years 3 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
EMNETS
2007
13 years 11 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...