Sciweavers

467 search results - page 32 / 94
» Roadmap of Infinite Results
Sort
View
AAAI
1997
13 years 9 months ago
Modularity Assumptions in Situated Agency
Thisresearchfocusesona specific class of agentscalled "situated agents", which use minimalcommunication and rely mostlyon changesin the environmentas their cue for actio...
Amol Dattatraya Mali, Amitabha Mukerjee
IFIPTCS
2010
13 years 5 months ago
A Game-Theoretic Approach to Routing under Adversarial Conditions
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...
James Gross, Frank G. Radmacher, Wolfgang Thomas
CONCUR
2009
Springer
13 years 5 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
QUESTA
2010
86views more  QUESTA 2010»
13 years 2 months ago
Tandem queues with subexponential service times and finite buffers
We focus on tandem queues with subexponential service time distributions. We assume that number of customers in front of the first station is infinite and there is infinite room f...
Jung-Kyung Kim, Hayriye Ayhan
FOCS
1999
IEEE
14 years 1 days ago
On the Complexity of SAT
We show1 that non-deterministic time NTIME(n) is not contained in deterministic time n 2and polylogarithmic space, for any > 0. This implies that (infinitely often) satisfiabi...
Richard J. Lipton, Anastasios Viglas