Sciweavers

3706 search results - page 503 / 742
» The Transformational Approach to Program Development
Sort
View
ISSTA
1998
ACM
15 years 9 months ago
Automatic Test Data Generation Using Constraint Solving Techniques
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
Arnaud Gotlieb, Bernard Botella, Michel Rueher
UML
1998
Springer
15 years 9 months ago
The UML as a Formal Modeling Notation
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
Andy Evans, Robert B. France, Kevin Lano, Bernhard...
ACCV
2009
Springer
15 years 9 months ago
Efficient Scale-Space Spatiotemporal Saliency Tracking for Distortion-Free Video Retargeting
Video retargeting aims at transforming an existing video in order to display it appropriately on a target device, often in a lower resolution, such as a mobile phone. To preserve a...
Gang Hua, Cha Zhang, Zicheng Liu, Zhengyou Zhang, ...
EEE
2004
IEEE
15 years 8 months ago
Value-Based Design of Collaboration Processes for e-Commerce
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
Pascal van Eck, Jaap Gordijn, Roel Wieringa
ER
2006
Springer
112views Database» more  ER 2006»
15 years 8 months ago
A DAG Comparison Algorithm and Its Application to Temporal Data Warehousing
Abstract. We present a new technique for discovering and representing structural changes between two versions of a directed acyclic graph (DAG). Motivated by the necessity of chang...
Johann Eder, Karl Wiggisser