7329 search results - page 448 / 1466 » Network Extractor Protocols |
170
click to vote
CN
2006
15 years 6 months ago
2006
In nowadays wireless networks, mobile users frequently access Internet services that are often based on information concerning the application context and service status. In prese...
162
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
189
Voted
FAC
2008
15 years 6 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
189
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A hybrid protocol for application level multicast (HPAM) for live video streaming without native IP multicast support is proposed. HPAM exploits the simplicity and optimality of...
170
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...