1926 search results - page 64 / 386 » Modeling and Model Checking Software Product Lines |
161
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
142
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
142
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
144
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
161
click to vote
SIGSAND
2008
15 years 6 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...