Sciweavers

2722 search results - page 264 / 545
» The Model Evolution Calculus
Sort
View
CIA
2003
Springer
15 years 11 months ago
Logic Programming for Evolving Agents
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
José Júlio Alferes, Antonio Brogi, J...
AI
1999
Springer
15 years 6 months ago
Emergent Cooperative Goal-Satisfaction in Large Scale Automated-Agent Systems
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
Onn Shehory, Sarit Kraus, Osher Yadgar
ICSE
2009
IEEE-ACM
16 years 7 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
CCR
2008
86views more  CCR 2008»
15 years 6 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest
ECMDAFA
2005
Springer
83views Hardware» more  ECMDAFA 2005»
16 years 17 hour ago
Synchronizing Cardinality-Based Feature Models and Their Specializations
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...
Chang Hwan Peter Kim, Krzysztof Czarnecki