Sciweavers

5433 search results - page 927 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
SQJ
2010
152views more  SQJ 2010»
15 years 4 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
TCOS
2010
15 years 4 months ago
Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
Ophir Setter, Micha Sharir, Dan Halperin
TSD
2010
Springer
15 years 4 months ago
Online TV Captioning of Czech Parliamentary Sessions
Abstract. In the paper we introduce the on-line captioning system developed by our teams and used by the Czech Television (CTV), the public service broadcaster in the Czech Republi...
Jan Trmal, Ales Prazák, Zdenek Loose, Josef...
TSE
2010
125views more  TSE 2010»
15 years 4 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
TVCG
2010
118views more  TVCG 2010»
15 years 4 months ago
A Curved Ray Camera for Handling Occlusions through Continuous Multiperspective Visualization
—Most images used in visualization are computed with the planar pinhole camera. This classic camera model has important advantages such as simplicity, which enables efficient sof...
Jian Cui, Paul Rosen, Voicu Popescu, Christoph M. ...