1272 search results - page 184 / 255 » Intelligent light control using sensor networks |
155
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
163
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Gene regulatory networks play essential roles in living organisms to control growth, keep internal metabolism running and respond to external environmental changes. Un...
171
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
145
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Consensus algorithms provide an elegant distributed way for computing the average of a set of measurements across a sensor network. However, the convergence of the node estimates t...
151
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...