1886 search results - page 219 / 378 » Verifying and Validating Simulation Models |
101
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents an integrated approach to energy harvester modelling and performance optimisation where the complete mixed physical-domain energy harvester system (micro gener...
134
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
129
click to vote
EJASP
2010
14 years 10 months ago
2010
The problem of uncovering transcriptional regulation by transcription factors (TFs) based on microarray data is considered. A novel Bayesian sparse correlated rectified factor mod...
129
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
108
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...