23590 search results - page 4611 / 4718 » Algorithm Performance Contest |
147
click to vote
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
188
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
131
click to vote
EENERGY
2010
15 years 7 months ago
2010
Energy consumption of the Internet is already substantial and it is likely to increase as operators deploy faster equipment to handle popular bandwidthintensive services, such as ...
145
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
183
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...