935 search results - page 164 / 187 » From Logic Programming Towards Multi-Agent Systems |
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
SFM
2005
Springer
14 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
DIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
ICLP
1989
Springer
13 years 11 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...