3311 search results - page 413 / 663 » Deductive Object Programming |
133
click to vote
E4MAS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
109
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
107
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
102
click to vote
ICCHP
2004
Springer
15 years 9 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
141
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...