Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2014
The nesC language: a holistic approach to networked embedded systems
ACM SIGPLAN Notices (SIGPLAN), Volume 49, Issue 4SApril 2014, Pages 41–51https://doi.org/10.1145/2641638.2641652We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, ...
- ArticleNovember 2011
Home-Healthcare-Network (h2n): an autonomous care-giving system for elderly people
USAB'11: Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-HealthNovember 2011, Pages 245–262https://doi.org/10.1007/978-3-642-25364-5_19As the world's population ages, the number of elderly people suffering from various diseases increases. Due to a variety of reasons such as convenience or a need for security and privacy these elderly people generally prefer to avail healthcare ...
- ArticleSeptember 2010
Correctness of sensor network applications by software bounded model checking
FMICS'10: Proceedings of the 15th international conference on Formal methods for industrial critical systemsSeptember 2010, Pages 115–131We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior model from a network protocol (ESAWN) implementation in a WSN development and ...
- posterAugust 2009
A programmable implementation of neural signal processing on a smartdust for brain-computer interfaces
ISLPED '09: Proceedings of the 2009 ACM/IEEE international symposium on Low power electronics and designAugust 2009, Pages 351–354https://doi.org/10.1145/1594233.1594320Brain-computer interfaces (BCIs) offer tremendous promise for improving the quality of life for disabled individuals. BCIs use spike sorting to identify the source of each neural firing. To date, spike sorting has been performed using off-chip analysis, ...
- ArticleOctober 2007
Integrating concurrency control and energy management in device drivers
SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principlesOctober 2007, Pages 251–264https://doi.org/10.1145/1294261.1294286Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring applications to explicitly manage system power states. To address this ...
Also Published in:
ACM SIGOPS Operating Systems Review: Volume 41 Issue 6, December 2007 - ArticleMay 2006
TWIST: a scalable and reconfigurable testbed for wireless indoor experiments with sensor networks
REALMAN '06: Proceedings of the 2nd international workshop on Multi-hop ad hoc networks: from theory to realityMay 2006, Pages 63–70https://doi.org/10.1145/1132983.1132995We present TWIST, a scalable and exible testbed architecture for indoor deployment of wireless sensor networks. The design of TWIST is based on an analysis of typical and desirable use-cases. It provides basic services like node configuration, network-...
- ArticleFebruary 2006
Evaluating the use of motes and TinyOS for a mobile sensor platform
PDCN'06: Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networksFebruary 2006, Pages 95–100Monitoring containers during transport in a secure, tamper resistant, and reliable manner, is the subject of the IBM Secure Trade Lane project (STL). We have evaluated a platform based on motes (i.e. very small computers) and TinyOS as the base for ...
- ArticleNovember 2005
Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks
SenSys '05: Proceedings of the 3rd international conference on Embedded networked sensor systemsNovember 2005, Page 302https://doi.org/10.1145/1098918.1098967We are announcing the first release of Viptos (Visual Ptolemy and TinyOS), an integrated graphical development and simulation environment for TinyOS-based wireless sensor networks. Viptos allows developers to create block and arrow diagrams to construct ...
- ArticleNovember 2003
TOSSIM: accurate and scalable simulation of entire TinyOS applications
SenSys '03: Proceedings of the 1st international conference on Embedded networked sensor systemsNovember 2003, Pages 126–137https://doi.org/10.1145/958491.958506Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploiting the sensor network domain and TinyOS's design, TOSSIM can capture ...
- ArticleSeptember 2002
Lifetime analysis of a sensor network with hybrid automata modelling
WSNA '02: Proceedings of the 1st ACM international workshop on Wireless sensor networks and applicationsSeptember 2002, Pages 98–104https://doi.org/10.1145/570738.570752In this paper, we focus on TinyOS, an event-based operating system for networked sensor motes. We show how to model TinyOS as a hybrid automata with HyTech and verify the correct operation of the system by using safety verification feature of HyTech. ...