3425 search results - page 571 / 685 » A Model Driven Approach for Software Systems Reliability |
94
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
107
click to vote
HOTOS
1999
IEEE
15 years 7 months ago
1999
IEEE
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
116
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...
128
Voted
JUCS
2010
15 years 1 months ago
2010
: In order to develop context-aware applications for ubiquitous computing environments we have defined an MDA approach that defines three layers of models. The first layer captures...
124
click to vote
IUI
2009
ACM
16 years 10 days ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...