Sciweavers

2875 search results - page 1 / 575
» Distributed Reactive Machines
Sort
View
RTCSA
1998
IEEE
13 years 9 months ago
Distributed Reactive Machines
Jean-Ferdy Susini, Laurent Hazard, Fréd&eac...
CONEXT
2007
ACM
13 years 8 months ago
Proactive replication in distributed storage systems using machine availability estimation
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...
Alessandro Duminuco, Ernst Biersack, Taoufik En-Na...
IANDC
2007
152views more  IANDC 2007»
13 years 4 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
PDCAT
2004
Springer
13 years 10 months ago
State Machine Based Operating System Architecture for Wireless Sensor Networks
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
Tae-Hyung Kim, Seongsoo Hong
OOPSLA
2005
Springer
13 years 10 months ago
Constructing a metacircular Virtual machine in an exploratory programming environment
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
David Ungar, Adam Spitz, Alex Ausch