Sciweavers

4052 search results - page 406 / 811
» integration 2007
Sort
View
ICIAP
2007
ACM
16 years 7 months ago
SIFT Features Tracking for Video Stabilization
This paper presents a video stabilization algorithm based on the extraction and tracking of Scale Invariant Feature Transform features through video frames. Implementation of SIFT...
Sebastiano Battiato, Giovanni Gallo, Giovanni Pugl...
ICSE
2007
IEEE-ACM
16 years 7 months ago
Korat: A Tool for Generating Structurally Complex Test Inputs
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
Aleksandar Milicevic, Sasa Misailovic, Darko Marin...
ICSE
2007
IEEE-ACM
16 years 7 months ago
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Alexander Egyed
ICSE
2007
IEEE-ACM
16 years 7 months ago
Ownership and Immutability Inference for UML-Based Object Access Control
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
Yin Liu, Ana Milanova
ICSE
2007
IEEE-ACM
16 years 7 months ago
Mismar: A New Approach to Developer Documentation
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
Barthélémy Dagenais, Harold Ossher