Sciweavers

114 search results - page 8 / 23
» Exploring Multi-Level Modeling Relations Using Variability M...
Sort
View
EACL
1989
ACL Anthology
13 years 8 months ago
A Metaplan Model For Problem-Solving Discourse
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
Lance A. Ramshaw
CEC
2010
IEEE
13 years 3 months ago
Evolved Bayesian Network models of rig operations in the gulf of Mexico
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...
François A. Fournier, John A. W. McCall, An...
EDOC
2003
IEEE
14 years 19 hour ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
SPLC
2007
13 years 7 months ago
A Quality Model for Evaluating Feature Models
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
Christer Thörn
RTCSA
1999
IEEE
13 years 11 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer