Sciweavers

2211 search results - page 73 / 443
» Comparing Approaches to Implement Feature Model Composition
Sort
View
GTTSE
2007
Springer
15 years 4 months ago
Automated Merging of Feature Models Using Graph Transformations
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
SAINT
2003
IEEE
15 years 3 months ago
Implementing Role-based Interactions for Internet Agents
Large-scale distributed environments, such as the Internet, achieve advantages in exploiting software agents for applications, thanks to their autonomy in carrying out tasks. In s...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
COMPSAC
2008
IEEE
15 years 4 months ago
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
PLDI
2011
ACM
14 years 20 days ago
Data representation synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
PAMI
1998
145views more  PAMI 1998»
14 years 9 months ago
An Analytic-to-Holistic Approach for Face Recognition Based on a Single Frontal View
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...
Kin-Man Lam, Hong Yan