1052 search results - page 28 / 211 » Distributed Logic Programming using Mobile Agents |
135
click to vote
LCN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper proposes a solution to delivering multicast data reliably not only to/from fixed hosts but also to/from mobile hosts in combined fixed/mobile IP networks, particularl...
128
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
111
click to vote
LADS
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
103
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
117
Voted
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
In order for mobile agents to be accepted as a basic technology for enabling electronic commerce, proper security mechanisms must be developed. Hosts must be protected from malici...