Sciweavers

2947 search results - page 399 / 590
» The timely token protocol
Sort
View
ISADS
2003
IEEE
15 years 11 months ago
Message Logging and Recovery in Wireless CORBA Using Access Bridge
The emerging mobile wireless environment poses exciting challenges for distributed fault tolerant (FT) computing. This paper proposes a message loggingand recovery protocol on the...
Xinyu Chen, Michael R. Lyu
ACMICEC
2003
ACM
125views ECommerce» more  ACMICEC 2003»
15 years 11 months ago
A heuristic bidding strategy for multiple heterogeneous auctions
Online auctions are increasingly being used as a medium to procure goods and services. As the number of auction sites increases, however, consumers will inevitably want to track a...
Patricia Anthony, Nicholas R. Jennings
PADS
2003
ACM
15 years 11 months ago
Four Types of Lookback
We present a classification that groups lookback into four types: direct strong lookback, universal strong lookback, direct weak lookback, and universal weak lookback. They are d...
Gilbert Chen, Boleslaw K. Szymanski
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
HSNMC
2003
Springer
134views Multimedia» more  HSNMC 2003»
15 years 11 months ago
Analytical Approach and Verification of a DiffServ-Based Priority Service
The provision of Quality of Service (QoS) in a seamless way over the dominating internetworking protocol of our times (IP), has been a challenge for many researchers in the past ye...
Christos Bouras, Afrodite Sevasti