Sciweavers

2947 search results - page 483 / 590
» The timely token protocol
Sort
View
TACAS
2007
Springer
144views Algorithms» more  TACAS 2007»
16 years 14 days ago
Detecting Races in Ensembles of Message Sequence Charts
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
Edith Elkind, Blaise Genest, Doron Peled
UIC
2007
Springer
16 years 14 days ago
Maximizing Network Lifetime Under Reliability Constraints Using a Cross-Layer Design in Dense Wireless Sensor Networks
Abstract. Recent experimental studies have shown that radio links between low-power devices are extremely unreliable. In particular, the instability and unpredictability of low-pow...
Shan Guo Quan, Young Yong Kim
HPDC
2006
IEEE
16 years 12 days ago
Replicating Nondeterministic Services on Grid Environments
Replication is a technique commonly used to increase the availability of services in distributed systems, including grid and web services. While replication is relatively easy for...
Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen,...
ICARCV
2006
IEEE
147views Robotics» more  ICARCV 2006»
16 years 12 days ago
Scale Normalization for the Distance Maps AAM
— The Active Apearence Models (AAM) are often used in Man-Machine Interaction for their ability to align the faces. We propose a new normalization method for AAM based on distanc...
Denis Giri, Maxime Rosenwald, Benjamin Villeneuve,...
ICDCS
2006
IEEE
16 years 12 days ago
CREW: A Gossip-based Flash-Dissemination System
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...
Mayur Deshpande, Bo Xing, Iosif Lazaridis, Bijit H...