3765 search results - page 467 / 753 » Formal Methods for Systems Engineering Behavior Models |
183
click to vote
TVCG
2010
15 years 1 months ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
195
click to vote
ICCSA
2010
Springer
15 years 4 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
212
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
180
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
192
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...