4485 search results - page 251 / 897 » Equivalences on Observable Processes |
145
click to vote
ICNSC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present new queue length based Internet congestion control protocol which is shown through simulations to work effectively. The control objective is to regulat...
132
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
139
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
135
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— For many wireless communication links, such as those employing turbo codes or sequentially-decoded convolutional codes, the power consumption of the decoder at the receiver dep...
133
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents the novel insight that the SLAM information matrix is exactly sparse in a delayedstate framework. Such a framework is used in view-based representations of ...