66 search results - page 8 / 14 » An Overview of the SWI-Prolog Programming Environment |
PAAMS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
CACM
2010
13 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...
GECCO
2003
Springer
14 years 18 days ago
2003
Springer
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
CC
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...