Sciweavers

798 search results - page 79 / 160
» Statecharts as Protocols for Objects
Sort
View
CW
2004
IEEE
15 years 3 months ago
Peer-to-Peer Networked Field-type Virtual Environment by Using AtoZ
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
Tatsuhiro Yonekura, Yoshihiro Kawano, Dai Hanawa
DSN
2004
IEEE
15 years 3 months ago
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
Abstract-- Wireless sensor networks (WSNs) are large collections of resource limited nodes, densely deployed over a landscape. They gather and disseminate local data using multihop...
Patrick Downey, Rachel Cardell-Oliver
IWAN
2000
Springer
15 years 3 months ago
Performance of Active Multicast Congestion Control
This paper aims to provide insight into the behavior of congestion control mechanisms for reliable multicast protocols. A multicast congestion control based on active networks has ...
Marifeli Sedano, Arturo Azcorra, María Cald...
ICDE
1991
IEEE
105views Database» more  ICDE 1991»
15 years 3 months ago
Voting with Regenerable Volatile Witnesses
Voting protocols ensure the consistency of replicated objects by requiring all read and write requests to collect an appropriate quorum of replicas. We propose to replace some of ...
Jehan-François Pâris, Darrell D. E. L...
ENTCS
2008
118views more  ENTCS 2008»
14 years 12 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer