Sciweavers

10285 search results - page 370 / 2057
» Composing Feature Models
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
CLOR
2006
15 years 10 months ago
Generative Models for Labeling Multi-object Configurations in Images
Abstract. We propose a generative approach to the problem of labeling images containing configurations of objects from multiple classes. The main building blocks are dense statisti...
Yali Amit, Alain Trouvé
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 6 months ago
Modeling Adversaries in a Logic for Security Protocol Analysis
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
Joseph Y. Halpern, Riccardo Pucella
CLEIEJ
2010
15 years 4 months ago
Practices and Techniques for Engineering Process Capability Models
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
Clenio F. Salviano, Marcia R. M. Martinez, Alessan...
ICCAD
2001
IEEE
111views Hardware» more  ICCAD 2001»
16 years 3 months ago
A Trajectory Piecewise-Linear Approach to Model Order Reduction and Fast Simulation of Nonlinear Circuits and Micromachined Devi
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
Michal Rewienski, Jacob White