2162 search results - page 100 / 433 » Automated Reasoning on Feature Models |
120
Voted
SPLC
2008
15 years 5 months ago
2008
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
106
Voted
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
101
Voted
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
124
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
163
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....