Sciweavers

10285 search results - page 225 / 2057
» Composing Feature Models
Sort
View
QSIC
2007
IEEE
16 years 23 days ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
SEFM
2006
IEEE
16 years 15 days ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ICCSA
2005
Springer
16 years 5 hour ago
Modelling of Process of Electronic Signature with Petri Nets and (Max, Plus) Algebra
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
Ahmed Nait-Sidi-Moh, Maxime Wack
MLMI
2005
Springer
15 years 12 months ago
Generic Dialogue Modeling for Multi-application Dialogue Systems
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Po...
PCM
2004
Springer
180views Multimedia» more  PCM 2004»
15 years 12 months ago
An Adaptive Scene Compositor Model in MPEG-4 Player for Mobile Device
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
Hyunju Lee, Sangwook Kim