Results 1 - 10 of 6,124

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

by Oskar Wibling, Joachim Parrow, Arnold Pears
"... Abstract. We present an improved method for analyzing route establishment in ad hoc routing protocols. An efficient abstraction for Propagating Localized Broadcast with Dampening (PLBD) is developed. Applying this result we are able to verify networks and topology changes for ad hoc networks up to t ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract. We present an improved method for analyzing route establishment in ad hoc routing protocols. An efficient abstraction for Propagating Localized Broadcast with Dampening (PLBD) is developed. Applying this result we are able to verify networks and topology changes for ad hoc networks up

Robust Group Key Agreement Using Short Broadcasts ABSTRACT

by Stanisław Jarecki, Jihye Kim
"... A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantround GKAs have been proposed. However, their performance degrades if some players fail during protocol execution. This is a ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
. This is a problem in practice, e.g. for mobile nodes communicating over wireless media, which can loose connectivity during the protocol execution. Current constantround GKA protocols are either efficient and non-robust or robust but not efficient: Assuming a reliable broadcast communication medium

Pull vs Push: A Quantitative Comparison for Data Broadcast Abstract — Advances in wireless technology have resulted in an

by unknown authors
"... emerging broadcast-capable infrastructure. A major debate for such infrastructures is whether we should use push or pull to support large client populations. To date, push was suggested to provide a scalability that is not possible with pull. In this paper we conclude otherwise based on simulation a ..."
Abstract - Add to MetaCart
emerging broadcast-capable infrastructure. A major debate for such infrastructures is whether we should use push or pull to support large client populations. To date, push was suggested to provide a scalability that is not possible with pull. In this paper we conclude otherwise based on simulation

Semi-Automated Creation of Converged iTV Services: From Macromedia Director Simulations to Services Ready for Broadcast Abstract

by Emmanuel Tsekleves, John Cosmas
"... While sound and video may capture viewers ’ attention, interaction can captivate them. This has not been available prior to the advent of Digital Television. In fact, what lies at the heart of the Digital Television revolution is this new type of interactive content, offered in the form of interacti ..."
Abstract - Add to MetaCart
-automatic translation of simulations and rapid prototypes created in the accessible desktop multimedia authoring package Macromedia Director into services ready for broadcast. This is achieved by a series of tools that de-skill and speed-up the process of creating digital TV user interfaces (UI) and applications

Efficient power control via pricing in wireless data networks

by Cem U. Saraydar, Narayan B. M, Senior Member, David J. Goodman - IEEE Trans. on Commun , 2002
"... Abstract—A major challenge in the operation of wireless communications systems is the efficient use of radio resources. One important component of radio resource management is power control, which has been studied extensively in the context of voice communications. With the increasing demand for wir ..."
Abstract - Cited by 339 (8 self) - Add to MetaCart
Abstract—A major challenge in the operation of wireless communications systems is the efficient use of radio resources. One important component of radio resource management is power control, which has been studied extensively in the context of voice communications. With the increasing demand

Orca: A language for parallel programming of distributed systems

by Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum - IEEE Transactions on Software Engineering , 1992
"... Orca is a language for implementing parallel applications on loosely coupled distributed systems. Unlike most languages for distributed programming, it allows processes on different machines to share data. Such data are encapsulated in data-objects, which are instances of user-defined abstract data ..."
Abstract - Cited by 332 (46 self) - Add to MetaCart
Orca is a language for implementing parallel applications on loosely coupled distributed systems. Unlike most languages for distributed programming, it allows processes on different machines to share data. Such data are encapsulated in data-objects, which are instances of user-defined abstract data

Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement

by Flaviu Cristian, Houtan Aghili, Ray Strong, Danny Dolev - Information and Computation , 1985
"... In distributed systems subject to random communication delays and component failures, atomic broadcast can be used to implement the abstraction of synchronous replicated storage, a distributed storage that displays the same contents at every correct processor as of any clock time. This paper present ..."
Abstract - Cited by 244 (15 self) - Add to MetaCart
In distributed systems subject to random communication delays and component failures, atomic broadcast can be used to implement the abstraction of synchronous replicated storage, a distributed storage that displays the same contents at every correct processor as of any clock time. This paper

Generalized privacy amplification

by Charles H. Bennett, Gilles Brassard, Claude Crkpeau, Ueli M. Maurer, Senior Member - IEEE Transactions on Information Theory , 1995
"... Abstract- This paper provides a general treatment of pri-vacy amplification by public discussion, a concept introduced by Bennett, Brassard, and Robert for a special scenario. Privacy amplification is a process that allows two parties to distill a secret key from a common random variable about which ..."
Abstract - Cited by 325 (19 self) - Add to MetaCart
Abstract- This paper provides a general treatment of pri-vacy amplification by public discussion, a concept introduced by Bennett, Brassard, and Robert for a special scenario. Privacy amplification is a process that allows two parties to distill a secret key from a common random variable about

Asynchronous Consensus and Broadcast Protocols

by Gabriel Bracha, Sam Toueg - Journal of the ACM , 1985
"... Abstract. A consensus protocol enables a system of n asynchronous processes, some of which are faulty, to reach agreement. There are two kinds of faulty processes: fail-stop processes that can only die and malicious processes that can also send false messages. The class of asynchronous systems with ..."
Abstract - Cited by 166 (4 self) - Add to MetaCart
Abstract. A consensus protocol enables a system of n asynchronous processes, some of which are faulty, to reach agreement. There are two kinds of faulty processes: fail-stop processes that can only die and malicious processes that can also send false messages. The class of asynchronous systems

Broadcasting In

by Steven James May, Catherine Middleton
"... ABSTRACT This commentary describes an approach for delivering television content to mobile phones in Canada using over-the-air broadcast signals. Over-the-air television broad-casting to mobile phones is available to our American neighbours but has not been imple-mented in Canada. We report on a tes ..."
Abstract - Add to MetaCart
ABSTRACT This commentary describes an approach for delivering television content to mobile phones in Canada using over-the-air broadcast signals. Over-the-air television broad-casting to mobile phones is available to our American neighbours but has not been imple-mented in Canada. We report on a
Results 1 - 10 of 6,124