Sciweavers

13397 search results - page 2227 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
SODA
2004
ACM
98views Algorithms» more  SODA 2004»
15 years 6 months ago
End-to-end packet-scheduling in wireless ad-hoc networks
Abstract Packet-scheduling is a particular challenge in wireless networks due to interference from nearby transmissions. A distance-2 interference model serves as a useful abstract...
V. S. Anil Kumar, Madhav V. Marathe, Srinivasan Pa...
139
Voted
TREC
1998
15 years 6 months ago
DSIR: the First TREC-7 Attempt
This paper describes our first large-scale retrieval attempt in TREC-7 using DSIR. DSIR is a vector space based retrieval system in which semantic similarity between words, docume...
Arnon Rungsawang
FORTE
1996
15 years 6 months ago
Applications of Fair Testing
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
Ed Brinksma, Arend Rensink, Walter Vogler
122
Voted
DAGSTUHL
1990
15 years 6 months ago
Integrating Rules and Connectionism for Robust Reasoning
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
Ron Sun
ESORICS
2010
Springer
15 years 6 months ago
An Authorization Framework Resilient to Policy Evaluation Failures
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
Jason Crampton, Michael Huth
« Prev « First page 2227 / 2680 Last » Next »