Sciweavers

5336 search results - page 142 / 1068
» Steerable part models
Sort
View
ADAPTIVE
2007
Springer
14 years 2 months ago
Generic User Modeling Systems
The paper reviews the development of generic user modeling systems over the past twenty years. It describes their purposes, their services within user-adaptive systems, and the dif...
Alfred Kobsa
WER
2007
Springer
14 years 2 months ago
Guidelines for Business Modeling Elaboration based on Views from Domain Information
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
Silvia Angelica Zanco Ladeira, Maria Istela Cagnin
ICALP
2004
Springer
14 years 1 months ago
Model Checking with Multi-valued Logics
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
Glenn Bruns, Patrice Godefroid
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
14 years 1 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
MODELS
2009
Springer
14 years 19 days ago
Report of the 14th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 14th Workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven Engineering Languages and Sy...
Jörg Kienzle, Jeff Gray, Dominik Stein, Thoma...