Sciweavers

13489 search results - page 2493 / 2698
» Self-migration of operating systems
Sort
View
SRDS
2007
IEEE
16 years 23 days ago
RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...
Vadim Drabkin, Roy Friedman, Gabriel Kliot, Marc S...
SRDS
2007
IEEE
16 years 23 days ago
Enhancing Edge Computing with Database Replication
As the use of the Internet continues to grow explosively, edge computing has emerged as an important technique for delivering Web content over the Internet. Edge computing moves d...
Yi Lin, Bettina Kemme, Marta Patiño-Mart&ia...
VTC
2007
IEEE
16 years 23 days ago
Channel Prediction Aided Coded Modulation Assisted Eigen-Beamforming
Abstract— Eigen-beamforming is capable of providing attractive performance gains in the context of Multiple-Input Multiple-Output (MIMO) systems, provided that accurate Channel S...
Soon Xin Ng, Wei Liu, Lie-Liang Yang, Lajos Hanzo
ATAL
2007
Springer
16 years 21 days ago
An advanced bidding agent for advertisement selection on public displays
In this paper we present an advanced bidding agent that participates in first-price sealed bid auctions to allocate advertising space on BluScreen – an experimental public adve...
Alex Rogers, Esther David, Terry R. Payne, Nichola...
CAV
2007
Springer
86views Hardware» more  CAV 2007»
16 years 21 days ago
From Liveness to Promptness
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
« Prev « First page 2493 / 2698 Last » Next »