1663 search results - page 100 / 333 » Validation and Verification of Simulation Models |
151
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
112
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
141
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
120
Voted
DEDS
2002
15 years 3 months ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
141
Voted
EMS
2009
IEEE
15 years 10 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...