1278 search results - page 161 / 256 » Programming Sensor Networks Using Abstract Regions |
110
Voted
CJ
2004
15 years 2 months ago
2004
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
134
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
110
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
114
Voted
MSN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose an overlapping communication protocol using improved time-slot leasing in the Bluetooth WPANS. One or many slave-master-slave communications usu...
222
Voted
ICDCS
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...