Sciweavers

980 search results - page 176 / 196
» Modeling Domain Variability in Requirements Engineering with...
Sort
View
112
Voted
VMV
2000
157views Visualization» more  VMV 2000»
15 years 1 months ago
Visualization of Principal Curvature Directions by Anisotropic Diffusion
Anisotropic diffusion is known to be a powerful tool in image processing. It enables the smoothing of initially noisy images while still retaining, respectively sharpening edges a...
Udo Diewald, Martin Rumpf
ICCV
1995
IEEE
15 years 4 months ago
Closed-World Tracking
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
Stephen S. Intille, Aaron F. Bobick
108
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
ICSE
2011
IEEE-ACM
14 years 3 months ago
Configuring global software teams: a multi-company analysis of project productivity, quality, and profits
In this paper, we examined the impact of project-level configurational choices of globally distributed software teams on project productivity, quality, and profits. Our analysis u...
Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna...
OOPSLA
2005
Springer
15 years 6 months ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui