8132 search results - page 1322 / 1627 » Dependability, Abstraction, and Programming |
201
click to vote
CN
2002
15 years 6 months ago
2002
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
148
click to vote
CSUR
2000
15 years 6 months ago
2000
ks are quite di cult to understand when one rst uses them: the design is very abstract, to factor out commonality the design is incomplete, requiring additional subclasses to creat...
156
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
187
click to vote
FUIN
2000
15 years 6 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
143
click to vote
JCNS
2002
15 years 6 months ago
2002
Abstract. We present a biologically plausible model of binocular rivalry consisting of a network of HodgkinHuxley type neurons. Our model accounts for the experimentally and psycho...