Sciweavers

4761 search results - page 622 / 953
» Performance of Protocols
Sort
View
DEBS
2008
ACM
15 years 6 months ago
Replica placement for high availability in distributed stream processing systems
A significant number of emerging on-line data analysis applications require the processing of data streams, large amounts of data that get updated continuously, to generate output...
Thomas Repantis, Vana Kalogeraki
FMCAD
2008
Springer
15 years 6 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
ICWN
2004
15 years 6 months ago
Fast and Efficient IP Handover in IEEE 802.11 Wireless LANs
: This paper presents an effective and simple solution to the problem of Layer 3 (L3) handover in IEEE 802.11 wireless LANs (WLANs), so as to extend the IP mobility area of 802.11 ...
Ioanna Samprakou, Christos Bouras, Theodore Karoub...
141
Voted
MAGS
2008
104views more  MAGS 2008»
15 years 5 months ago
Retractable contract network for empowerment in workforce scheduling
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...
Edward P. K. Tsang, Timothy Gosling, Botond Virgin...
JSAC
2006
155views more  JSAC 2006»
15 years 5 months ago
Cross-Layer Optimized Video Streaming Over Wireless Multihop Mesh Networks
Abstract--The proliferation of wireless multihop communication infrastructures in office or residential environments depends on their ability to support a variety of emerging appli...
Yiannis Andreopoulos, Nicholas Mastronarde, Mihael...