1052 search results - page 198 / 211 » Distributed Logic Programming using Mobile Agents |
MDM
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phones with Java executors....
120
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
127
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
137
click to vote
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
108
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...