1163 search results - page 193 / 233 » Case Studies of Model Checking for Embedded System Designs |
134
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
108
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
106
click to vote
WSC
2004
15 years 3 months ago
2004
While the literature contains several adaptive sampling techniques for statistical comparison of competing simulated system configurations and for embedded statistical computation...
124
click to vote
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
123
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...