261 search results - page 18 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
ARTS
1997
Springer
13 years 12 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
DCOSS
2008
Springer
13 years 9 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...
CVPR
1999
IEEE
14 years 9 months ago
1999
IEEE
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
IWFM
2003
13 years 9 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
SASO
2010
IEEE
13 years 5 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...