Sciweavers

3799 search results - page 463 / 760
» An Engineering Approach to Formal Methods
Sort
View
GECCO
2005
Springer
147views Optimization» more  GECCO 2005»
16 years 6 days ago
Adaptive sizing of populations and number of islands in distributed genetic algorithms
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
Johan Berntsson, Maolin Tang
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 8 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
ATAL
2009
Springer
16 years 1 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini
SIGSOFT
2003
ACM
15 years 12 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
174
Voted
ATAL
2003
Springer
15 years 12 months ago
Capturing agent autonomy in roles and XML
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
Gerhard Weiß, Michael Rovatsos, Matthias Nic...