Sciweavers

3967 search results - page 320 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
ATAL
2010
Springer
15 years 7 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
BIRTHDAY
2010
Springer
15 years 4 months ago
Designing Benchmarks for P2P Systems
In this paper we discuss requirements for peer-to-peer (P2P) benchmarking, and we present two exemplary approaches to benchmarks for Distributed Hashtables (DHT) and P2P gaming ove...
Max Lehn, Tonio Triebel, Christian Gross, Dominik ...
USS
2004
15 years 8 months ago
Tor: The Second-Generation Onion Router
We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding per...
Roger Dingledine, Nick Mathewson, Paul F. Syverson
AGENTS
1997
Springer
15 years 11 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso
168
Voted
DSRT
2000
IEEE
15 years 11 months ago
Scheduling for Very Large Virtual Environments and Networked Games Using Visibility and Priorities
The problem of network bundwidth limitutions is encountered in ulmost uny distributed virtuul environment or networkedgume. In U typicul client-serversetup, where the virtuul worl...
Chris Faisstnauer, Dieter Schmalstieg, Werner Purg...