registrieren | anmelden | FAQ

[?]

CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Recent | Unread | Search | Authors | Tags | Export

Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking

by: Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li

ACM Trans. Auton. Adapt. Syst., Vol. 2, No. 3. (September 2007)

View FullText article

ACM, DOI

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

sensorweb

Find related articles with these CiteULike tags

building, monitoring, wsn

BibTeX record

RIS record

sensorweb's tags

All tags in sensorweb's library

Filter:

acoustic ad adaptive ad-hoc agent agent-based agents aggregation algorithm algorithms an and antennas application application-cooperative applications aquatic architecture architectures architeture ascent aware bandwidth based bibtex-import bluetooth bounded broadcast broadcasting building calibration call cc2420 chain challenge challenges channel class cluster clustering code coding coloring combine communication compression computer configuration conflict-free congestion consumption content contiki contour control controlwireless correlation critique cycle data data-aggregation databases data-mining datasheet dataspaces debugging decentralized degree deluge de-noising design detection devices directed-diffusion directional dissemination distributed distribution downstream driven ducy dynamic efficient embedded emstar energy energy-efficient environment event event-detection event-driven execution failed fama fault fault-tolerant fcc fipa firewxnet flooding for formation framework geocasting gossip gps gpsr graph graphsspanning greedy group habitat hand-held health high hoc image imote2 in indicator infrasound infuse instrumentation intellegent interfaces interference issues jade jpl kw-book2005 lack large latency lightning light-weight link localized low mac machine managememt management mate mda320 measurement measuring mechanism medical memory methodology micaz micro-modem microsensor middleware minimum mintroute mnp monitor monitoring mote-view multi-agent multi-hop nasa navigation nesc neteworks netowrks network networking networks new node-level nodes non-uniform ntp oasis ocean of opearting operating opportunistic oriented overview p2p packet perimeter perspective pim pipeline pipenet planar platform policy policy-based polling potential power power-efficient practical pratical procedure programmable programming propagation protocol protocols proximity psfq qos query queue ranges ratio real-time recovery reducing reliability reliable remote reprogramming research resource robust routing routingwireless rpc rssi scale scatternet scavenge schedule schedulebib scheduling scp seaweb seismic seismology self-configurable self-configuring self-diagnostics self-managed self-monitoring self-organization sensor sensorweb service signal signal-proessing simulation simulator sink situation slotted smart-sensing snms software som spanner spanning sta-lta state-driven stateless strategy stream-oriented strength structure structure-monitoring sturcture supply survey synchronization system systems task tdma testbed testing theory thread time time-streame tinydb tinyos t-lohi tmote top-down topologies topology tracing tracking transmission transport tree two-phase underwater update updating upnp upnp-based virtual volcano-monitoring vs watchdog wavelet wearable wireless -wireless wsn