Sciweavers

8676 search results - page 457 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
EMSOFT
2001
Springer
15 years 11 months ago
Usage Scenarios for an Automated Model Compiler
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffre...
PRICAI
1998
Springer
15 years 11 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
AOSD
2007
ACM
15 years 10 months ago
A case for explicit join point models for aspect-oriented intermediate languages
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
Hridesh Rajan
IJCNN
2000
IEEE
15 years 10 months ago
Competing Hidden Markov Models on the Self-Organizing Map
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...
Panu Somervuo
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...