2836 search results - page 217 / 568 » Model Checking for Software Architectures |
112
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
The power consumption due to the HW/SW communication on system-level buses represents one of the major contributions to the overall power budget. A model to estimate the switching...
138
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
136
click to vote
ODRL
2004
15 years 5 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
145
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
151
click to vote
WICSA
2008
15 years 5 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...