Sciweavers

1522 search results - page 34 / 305
» Practical Exception Specifications
Sort
View
ISVC
2007
Springer
15 years 7 months ago
Automated Scene-Specific Selection of Feature Detectors for 3D Face Reconstruction
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...
Yi Yao, Sreenivas R. Sukumar, Besma R. Abidi, Davi...
GI
2009
Springer
15 years 5 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
AOSD
2008
ACM
15 years 3 months ago
Test-based pointcuts for robust and fine-grained join point specification
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
Kouhei Sakurai, Hidehiko Masuhara
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 3 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
SPLC
2010
15 years 3 months ago
A Flexible Approach for Generating Product-Specific Documents in Product Lines
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
Rick Rabiser, Wolfgang Heider, Christoph Elsner, M...