18493 search results - page 3516 / 3699 » Timers for Distributed Systems |
GRAPHICSINTERFACE
1996
13 years 9 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
OSDI
1994
ACM
13 years 9 months ago
1994
ACM
Parallel processing has been proposed as a means of improving network protocol throughput. Several different strategies have been taken towards parallelizing protocols. A relative...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we study a service procurement problem with uncertainty as to whether service providers are capable of completing a given task within a specified deadline. This typ...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
d Abstract) Piyoosh Mukhija IIIT Hyderabad Rahul Sawhney IIIT Hyderabad K Madhava Krishna IIIT Hyderabad We present an algorithm for multi robotic exploration of an unknown terrai...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...