329 search results - page 1 / 66 » Sensors and Actuators in TCOZ |
FM
1999
Springer
13 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
SUTC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Many sensor networks have lately included actua
IBMRD
2011
12 years 11 months ago
2011
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
In this paper, we confront the problem of applying reinforcement learning to agents that perceive the environment through many sensors and that can perform parallel actions using ...
IJSSOE
2010
13 years 2 months ago
2010
One of the main obstacles to the adoption of Wireless Sensor Networks (WSNs) outside the research community is the lack of high level mechanisms to easily program them. This probl...