2836 search results - page 498 / 568 » Model Checking for Software Architectures |
140
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
165
click to vote
DGO
2010
15 years 6 months ago
2010
An applied research for the incremental evolution of a service oriented architecture for local eGovernment portals has been developed. Our reference eGovernment environment, curre...
155
click to vote
DAIS
2009
15 years 6 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
165
click to vote
DAIS
2009
15 years 6 months ago
2009
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...
128
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...