2935 search results - page 453 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
ACHI
2009
IEEE
16 years 26 days ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
170
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
161
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
166
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...
151
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...