1052 search results - page 151 / 211 » Distributed Logic Programming using Mobile Agents |
111
click to vote
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
119
Voted
AAMAS
2008
Springer
15 years 26 days ago
2008
Springer
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
101
click to vote
JCS
2006
15 years 21 days ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
102
Voted
FC
2005
Springer
15 years 6 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
138
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...