1187 search results - page 72 / 238 » A Timed Calculus for Wireless Systems |
139
click to vote
BIOSTEC
2011
14 years 3 months ago
2011
In this article we describe a new wireless biosignal system which monitors in a long-term basis, the users at their homes. The system consists of wearable sensors that measure hear...
142
click to vote
NIME
2005
Springer
15 years 9 months ago
2005
Springer
WISEAR (Wireless Sensor Array) is a Linux based Embeddedx86 TS- 5600 SBC (Single Board Computer) specifically configured for use with music, dance and video performance technologi...
230
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
259
click to vote
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
121
click to vote
MOBICOM
2005
ACM
15 years 9 months ago
2005
ACM
Wireless sensor networks (WSNs) are typically characterized by a limited energy supply at sensor nodes. Hence, energy efficiency is an important issue in the system design and op...