4794 search results - page 366 / 959 » Trust-Based Mechanism Design |
208
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
191
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
184
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The RoboCup Simulator League provides an excellent platform for research on swarm computing. Our research focuses on group behaviors emerge from collections of actors mak...
176
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— Mercator is a program that uses hop-limited probes—the same primitive used in traceroute—to infer an Internet map. It uses informed random address probing to carefully expl...
191
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...