Sciweavers

2436 search results - page 183 / 488
» An Experiment in the Design of Software Agents
Sort
View
KES
2000
Springer
15 years 10 months ago
On AIE-ASM: a software to simulate artificial stock markets with genetic programming
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
Shu-Heng Chen, Chung-Chih Liao, Chia-Hsuan Yeh
TOOLS
1999
IEEE
15 years 10 months ago
Automatic Detection of Design Problems in Object-Oriented Reengineering
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
Oliver Ciupke
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 10 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ACMSE
2009
ACM
15 years 9 months ago
Educational software packages for the One Laptop Per Child (OLPC) XO laptop
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
Michael Keating
ATAL
2009
Springer
16 years 1 months ago
An agent-based approach to component management
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
David Lillis, Rem W. Collier, Mauro Dragone, Grego...