4890 search results - page 501 / 978 » From system specifications to component behavioral models |
173
click to vote
PTS
2007
15 years 8 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
213
click to vote
AOSE
2004
Springer
16 years 19 days ago
2004
Springer
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
193
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
198
click to vote
ENTCS
2002
15 years 7 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
206
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...