1163 search results - page 117 / 233 » Case Studies of Model Checking for Embedded System Designs |
139
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
134
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
179
click to vote
ECRTS
2010
IEEE
15 years 5 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
168
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
228
click to vote
TAOSD
2010
14 years 11 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...