3719 search results - page 321 / 744 » order 2010 |
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Despite large volumes of data and many types of metrics, software projects continue to be difficult to predict and risky to conduct. In this paper we propose software analytics wh...
200
click to vote
SISAP
2010
IEEE
15 years 4 months ago
2010
IEEE
The retrieval of videos of interest from large video collections is a main open problem which calls for the definition of new video content characterization techniques in term of ...
164
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
192
click to vote
VAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
332
click to vote
VRST
2010
ACM
15 years 4 months ago
2010
ACM
We introduce an on-line framework for the visualizing of underground structures that improves X-Ray vision and Focus and Context Rendering for Augmented Reality. Our approach does...