Sciweavers

1954 search results - page 217 / 391
» Improving Software Development Processes with Multicriteria ...
Sort
View
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
15 years 8 months ago
An Evaluation of Applying Use Cases to Construct Design versus Validate Design
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
Erik Syversen, Bente Anda, Dag I. K. Sjøber...
CSSE
2008
IEEE
15 years 9 months ago
Embedding in Two Least Significant Bits with Wet Paper Coding
In this paper, we present three embedding schemes for extensions of least significant bit overwriting to both of the two lowest bit planes in digital images. Our approaches are in...
Xin Liao, Qiao-Yan Wen
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 8 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICCSA
2003
Springer
15 years 8 months ago
Interactive Stereoscopic Visualization of Very Large Visible Men on CAVE
Abstract. We have developed an interactive visualization software for an immersive 3D virtual environment system, which generates stereoscopic images from huge human volume dataset...
Insung Ihm, Bumdae Lee, Joong-Youn Lee, Minsu Joh,...
FSTTCS
2006
Springer
15 years 6 months ago
Context-Sensitive Dependency Pairs
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
Beatriz Alarcón, Raúl Gutiérr...