Sciweavers

1393 search results - page 148 / 279
» Group communication in the Amoeba distributed operating syst...
Sort
View
IPPS
2007
IEEE
14 years 3 months ago
Using Coroutines for RPC in Sensor Networks
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noe...
PDP
2003
IEEE
14 years 2 months ago
A multi-platform programming interface for protocol development
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
Carlos Miguel Tavares Calafate, Pietro Manzoni
CAV
2007
Springer
122views Hardware» more  CAV 2007»
14 years 1 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
CCGRID
2007
IEEE
14 years 3 months ago
Requirements of Peer-to-Peer-based Massively Multiplayer Online Gaming
Massively Multiplayer Online Games have become increasingly popular. However, their operation is costly, as game servers must be maintained. To reduce these costs, we aim at provi...
Gregor Schiele, Richard Süselbeck, Arno Wacke...
EDOC
2006
IEEE
14 years 3 months ago
Services and Networks management through embedded devices and SOA
In this paper we present an embedded device able to manage the remote boot of network nodes by means of Wake on LAN (WoL) through Internet and Wide Area Network, presenting it as ...
Virgilio Gilart-Iglesias, Francisco Maciá P...