Sciweavers

847 search results - page 3 / 170
» An Algebra for Features and Feature Composition
Sort
View
TSE
1998
67views more  TSE 1998»
13 years 4 months ago
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
—Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pi...
Michael Jackson, Pamela Zave
ICFP
1996
ACM
13 years 9 months ago
A Theory of Weak Bisimulation for Core CML
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
William Ferreira, Matthew Hennessy, Alan Jeffrey
WER
2010
Springer
13 years 2 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
JUCS
2008
158views more  JUCS 2008»
13 years 5 months ago
Algebraic Laws for Feature Models
: Software Product Lines (SPL) may be adopted by either bootstrapping existing software products into a SPL, or extending an existing SPL to encompass an additional software produc...
Rohit Gheyi, Tiago Massoni, Paulo Borba
MVA
2000
154views Computer Vision» more  MVA 2000»
13 years 6 months ago
Feature-Based Real-Time Human Face Tracking Using Lie Algebras
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
Akira Inoue, Tom Drummond, Roberto Cipolla