36 search results - page 4 / 8 » Sensor Actuator Abstractions for Symbolic Embedded Control D... |
167
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
140
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
155
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
121
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...
142
Voted
SIGMOD
2002
ACM
16 years 3 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...