4140 search results - page 178 / 828 » A Use Case Based Approach to Feature Models' Construction |
204
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
318
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...
205
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
It is well known that how to extract dynamical features is a key issue for video based face analysis. In this paper, we present a novel approach of facial action units (AU) and ex...
196
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...
170
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...