2162 search results - page 334 / 433 » Automated Reasoning on Feature Models |
128
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
157
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
129
click to vote
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
138
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
138
click to vote
PDSE
2000
15 years 5 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...