Sciweavers

8501 search results - page 61 / 1701
» Reactive process networks
Sort
View
MOBIHOC
2001
ACM
14 years 9 months ago
Parallel processing over mobile ad hoc networks of handheld machines
In this paper, we describe the formatting guidelines for ACM SIG Proceedings.
Michael J. Jipping, Gary Lewandowski
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 10 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
NDSS
1998
IEEE
14 years 2 months ago
Automated Recovery in a Secure Bootstrap Process
William A. Arbaugh, Angelos D. Keromytis, David J....
AINA
2007
IEEE
14 years 4 months ago
Reference Path Ad Hoc Routing Mechanism
The purpose of this work is to present the Reference Path Ad hoc Routing (REPAR) mechanism, which has been designed to optimize the performance of reactive ad hoc routing protocol...
Fabricio L. Figueiredo, Paulo Cardieri, Marcel C. ...
WOWMOM
2006
ACM
91views Multimedia» more  WOWMOM 2006»
14 years 3 months ago
A Station-Based Adaptation Algorithm to Improve Robustness of IEEE 802.11
This paper studies a Bad Apple phenomenon caused by Head-of-Line blocking in IEEE 802.11 networks. This problem can adversely affect the performance of wireless multimedia streami...
Jean Cao, Yujing Wu, Carey L. Williamson