2317 search results - page 99 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
173
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
153
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
169
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
135
click to vote
ECBS
2005
IEEE
15 years 12 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
173
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...