Sciweavers

3435 search results - page 105 / 687
» Aspect Model Unweaving
Sort
View
ECMDAFA
2010
Springer
141views Hardware» more  ECMDAFA 2010»
15 years 8 months ago
Comparing Approaches to Implement Feature Model Composition
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
IJCAI
1989
15 years 5 months ago
An Adaptive Model of Decision-Making in Planning
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich
AMAI
2002
Springer
15 years 4 months ago
Modeling Moving Objects over Multiple Granularities
This paper introduces a framework for modeling the movement of objects or individuals over multiple granularities. Granularity refers to selecting the appropriate level of detail ...
Kathleen Hornsby, Max J. Egenhofer
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
15 years 10 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
ECOOP
2008
Springer
15 years 6 months ago
A Model for Java with Wildcards
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
Nicholas R. Cameron, Sophia Drossopoulou, Erik Ern...