2836 search results - page 237 / 568 » Model Checking for Software Architectures |
148
Voted
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
139
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
158
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
159
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
156
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...