1926 search results - page 41 / 386 » Modeling and Model Checking Software Product Lines |
135
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
127
click to vote
ECIS
2000
15 years 6 months ago
2000
: ASP (Application Server Provider) marketplaces provide a fundamental alternative to the classical business model of software licensing. At this point, it is still unclear why and...
177
click to vote
SPLC
2007
15 years 6 months ago
2007
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
136
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
171
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...