3765 search results - page 97 / 753 » Formal Methods for Systems Engineering Behavior Models |
143
Voted
JSA
2008
15 years 1 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
141
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
95
Voted
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
116
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
112
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...