Sciweavers

2722 search results - page 264 / 545
» The Model Evolution Calculus
Sort
View
125
Voted
CIA
2003
Springer
15 years 8 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...
156
Voted
AI
1999
Springer
15 years 3 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
88
Voted
ICSE
2009
IEEE-ACM
16 years 4 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...
133
Voted
CCR
2008
86views more  CCR 2008»
15 years 3 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
130
Voted
ECMDAFA
2005
Springer
83views Hardware» more  ECMDAFA 2005»
15 years 9 months 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