-
3
-
-
77956438532
-
Model checking medium access control for sensor networks
-
Paphos, Cyprus, November
-
P. Ballarini and A. Miller. Model checking medium access control for sensor networks. In Proceedings of the 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06), pages 255-262, Paphos, Cyprus, November 2006.
-
(2006)
Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06)
, pp. 255-262
-
-
Ballarini, P.1
Miller, A.2
-
4
-
-
84866482934
-
Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks
-
Q. Cao, T. Abdelzaher, J. Stankovic, K. Whitehouse, and L. Luo. Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks. In Proceedings of the 6th SenSys, 2008. Raleigh, NC, USA.
-
Proceedings of the 6th SenSys, 2008. Raleigh, NC, USA
-
-
Cao, Q.1
Abdelzaher, T.2
Stankovic, J.3
Whitehouse, K.4
Luo, L.5
-
5
-
-
34247371924
-
Kansei: A testbed for sensing at scale
-
ACM Press
-
E. Ertin, A. Arora, R. Ramnath, M. Nesterenko, V. Naik, I. Bapat, V. Kulathumani, M. Sridharan, H. Zhang, and H. Cao. Kansei: A testbed for sensing at scale. In Proceedings of the 4th IPSN (SPOTS track), pages 399-406. ACM Press, 2006.
-
(2006)
Proceedings of the 4th IPSN (SPOTS Track)
, pp. 399-406
-
-
Ertin, E.1
Arora, A.2
Ramnath, R.3
Nesterenko, M.4
Naik, V.5
Bapat, I.6
Kulathumani, V.7
Sridharan, M.8
Zhang, H.9
Cao, H.10
-
6
-
-
35248862449
-
Electromagnetic analysis: Concrete results
-
Springer-Verlag London, UK
-
K. Gandolfi, C. Mourtel, and F. Olivier. Electromagnetic analysis: Concrete results. In Proceedings of the 3rd International Workshop on Cryptographic Hardware and Embedded Systems, pages 251-261. Springer-Verlag London, UK, 2001.
-
(2001)
Proceedings of the 3rd International Workshop on Cryptographic Hardware and Embedded Systems
, pp. 251-261
-
-
Gandolfi, K.1
Mourtel, C.2
Olivier, F.3
-
7
-
-
0342838353
-
Design of effective multiple classifier systems by clustering of classifiers
-
G. Giacinto, F. Roli, and G. Fumera. Design of effective multiple classifier systems by clustering of classifiers. In Proceedings of ICPR2000, 15th Int. Conference on Pattern Recognition, pages 3-8, 2000.
-
(2000)
Proceedings of ICPR2000, 15th Int. Conference on Pattern Recognition
, pp. 3-8
-
-
Giacinto, G.1
Roli, F.2
Fumera, G.3
-
8
-
-
33748576685
-
Emstar: A software environment for developing and deploying wireless sensor networks
-
Boston, MA
-
L. Girod, J. Elson, A. Cerpa, T. Stathopoulos, N. Ramanathan, and D. Estrin. Emstar: a software environment for developing and deploying wireless sensor networks. In Proceedings of the ATEC, pages 24-24, Boston, MA, 2004.
-
(2004)
Proceedings of the ATEC
, pp. 24-24
-
-
Girod, L.1
Elson, J.2
Cerpa, A.3
Stathopoulos, T.4
Ramanathan, N.5
Estrin, D.6
-
9
-
-
56749092205
-
Slede: A domain-specific verification framework for sensor network security protocol implementations
-
Y. Hanna, H. Rajan, and W. Zhang. Slede: A domain-specific verification framework for sensor network security protocol implementations. In Proceedings of the 1st ACM Conference on Wireless Network Security (WiSec), Alexandria, VA, March-April 2008.
-
Proceedings of the 1st ACM Conference on Wireless Network Security (WiSec), Alexandria, VA, March-April 2008
-
-
Hanna, Y.1
Rajan, H.2
Zhang, W.3
-
10
-
-
0026970695
-
Nonintrusive appliance load monitoring
-
Dec
-
G. Hart. Nonintrusive appliance load monitoring. In Proceedings of the IEEE, 80(12):1870-1891, Dec 1992.
-
(1992)
Proceedings of the IEEE
, vol.80
, Issue.12
, pp. 1870-1891
-
-
Hart, G.1
-
11
-
-
0014129195
-
Hierarchical clustering schemes
-
Springer New York
-
S. C. Johnson. Hierarchical clustering schemes. In Psychometrika, pages 241-254. Springer New York, 1967.
-
(1967)
Psychometrika
, pp. 241-254
-
-
Johnson, S.C.1
-
13
-
-
84866493206
-
Dustminer: Troubleshooting interactive complexity bugs in sensor networks
-
Raleigh, NC, USA
-
M. M. H. Khan, H. K. Le, H. Ahmadi, T. F. Abdelzaher, and J. Han. Dustminer: Troubleshooting interactive complexity bugs in sensor networks. In Proceedings of the 6th SenSys, pages 99-112, 2008. Raleigh, NC, USA.
-
(2008)
Proceedings of the 6th SenSys
, pp. 99-112
-
-
Khan, M.M.H.1
Le, H.K.2
Ahmadi, H.3
Abdelzaher, T.F.4
Han, J.5
-
14
-
-
38149014137
-
Snts: Sensor network troubleshooting suite
-
Santa Fe, New Mexico, USA
-
M. M. H. Khan, L. Luo, C. Huang, and T. Abdelzaher. Snts: Sensor network troubleshooting suite. In Proceedings of the 3rd DCOSS, pages 142-157, 2007. Santa Fe, New Mexico, USA.
-
(2007)
Proceedings of the 3rd DCOSS
, pp. 142-157
-
-
Khan, M.M.H.1
Luo, L.2
Huang, C.3
Abdelzaher, T.4
-
15
-
-
27244450325
-
Security limits for compromising emanations
-
Proceedings of CHES 2005, Springer
-
M. G. Kuhn. Security limits for compromising emanations. In Proceedings of CHES 2005, volume 3659 of LNCS. Springer, 2005.
-
(2005)
LNCS
, vol.3659
-
-
Kuhn, M.G.1
-
17
-
-
18844399081
-
Tossim: Accurate and scalable simulation of entire tinyos applications
-
P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: accurate and scalable simulation of entire tinyos applications. In Proceedings of the 1st SenSys, Los Angeles, California, USA, 2003.
-
Proceedings of the 1st SenSys, Los Angeles, California, USA, 2003
-
-
Levis, P.1
Lee, N.2
Welsh, M.3
Culler, D.4
-
18
-
-
33746519928
-
The research of electric appliance running status detecting based on dsp
-
B. Li, C. Quan, S. Zhao, W. Tong, and P. Tao. The research of electric appliance running status detecting based on dsp. In Proceedings of Transmission and Distribution Conference and Exhibition: Asia and Pacific, 2005 IEEE/PES, pages 1-4, 2005.
-
(2005)
Proceedings of Transmission and Distribution Conference and Exhibition: Asia and Pacific, 2005 IEEE/PES
, pp. 1-4
-
-
Li, B.1
Quan, C.2
Zhao, S.3
Tong, W.4
Tao, P.5
-
19
-
-
33745781710
-
A symbolic representation of time series, with implications for streaming algorithms
-
ACM Press
-
J. Lin, E. Keogh, S. Lonardi, and B. Chiu. A symbolic representation of time series, with implications for streaming algorithms. In Proceedings of the 8th ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, pages 2-11. ACM Press, 2003.
-
(2003)
Proceedings of the 8th ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery
, pp. 2-11
-
-
Lin, J.1
Keogh, E.2
Lonardi, S.3
Chiu, B.4
-
20
-
-
78650878141
-
Pad: Passive diagnosis for wireless sensor networks
-
K. Liu, M. Li, Y. Liu, M. Li, Z. Guo, and F. Hong. Pad: Passive diagnosis for wireless sensor networks. In Proceedings of the 6th SenSys, 2008. Raleigh, NC, USA.
-
Proceedings of the 6th SenSys, 2008. Raleigh, NC, USA
-
-
Liu, K.1
Li, M.2
Liu, Y.3
Li, M.4
Guo, Z.5
Hong, F.6
-
22
-
-
2442567436
-
Mining motifs in massive time series databases
-
P. Patel, E. Keogh, J. Lin, and S. Lonardi. Mining motifs in massive time series databases. In Proceedings of IEEE International Conference on Data Mining (ICDM), pages 370-377, 2002.
-
(2002)
Proceedings of IEEE International Conference on Data Mining (ICDM)
, pp. 370-377
-
-
Patel, P.1
Keogh, E.2
Lin, J.3
Lonardi, S.4
-
23
-
-
20344405202
-
Atemu: A fine-grained sensor network simulator
-
Santa Clara, CA, October
-
J. Polley, D. Blazakis, J. McGee, D. Rusk, and J. S. Baras. Atemu: A fine-grained sensor network simulator. In Proceedings of the 1st SECON, pages 145-152, Santa Clara, CA, October 2004.
-
(2004)
Proceedings of the 1st SECON
, pp. 145-152
-
-
Polley, J.1
Blazakis, D.2
McGee, J.3
Rusk, D.4
Baras, J.S.5
-
24
-
-
0031170074
-
Similarity-based queries for time series data
-
Tucson, Arizona, United States, ACM, New York, USA
-
D. Rafiei and A. Mendelzon. Similarity-based queries for time series data. In Proceedings of SIGMOD, pages 13-25, Tucson, Arizona, United States, 1997. ACM, New York, USA.
-
(1997)
Proceedings of SIGMOD
, pp. 13-25
-
-
Rafiei, D.1
Mendelzon, A.2
-
25
-
-
84905870693
-
Sympathy for the sensor network debugger
-
N. Ramanathan, K. Chang, R. Kapur, L. Girod, E. Kohler, and D. Estrin. Sympathy for the sensor network debugger. In Proceedings of the 3rd SenSys, pages 255-267, 2005.
-
(2005)
Proceedings of the 3rd SenSys
, pp. 255-267
-
-
Ramanathan, N.1
Chang, K.2
Kapur, R.3
Girod, L.4
Kohler, E.5
Estrin, D.6
-
26
-
-
32344435256
-
High Performance Discovery in Time Series: Techniques and Case Studies
-
Springer, first edition, June ISBN-0387008578
-
D. E. Shasha and Y. Zhu. High Performance Discovery in Time Series: Techniques and Case Studies. Monographs in computer science. Springer, first edition, June 2004. ISBN-0387008578.
-
(2004)
Monographs in Computer Science
-
-
Shasha, D.E.1
Zhu, Y.2
-
27
-
-
0026237284
-
Using appliance signatures for monitoring residential loads at meter panel level
-
F. Sultanem. Using appliance signatures for monitoring residential loads at meter panel level. IEEE Transactions on Power Delivery, 6(4):1380-1385, 1991.
-
(1991)
IEEE Transactions on Power Delivery
, vol.6
, Issue.4
, pp. 1380-1385
-
-
Sultanem, F.1
-
28
-
-
33744996260
-
Design of an application-cooperative management system for wireless sensor networks
-
Istanbul, Turkey, February
-
G. Tolle and D. Culler. Design of an application-cooperative management system for wireless sensor networks. In Proceedings of the 2nd EWSN, pages 121-132, Istanbul, Turkey, February 2005.
-
(2005)
Proceedings of the 2nd EWSN
, pp. 121-132
-
-
Tolle, G.1
Culler, D.2
-
29
-
-
14544295287
-
Software composition and verification for sensor networks
-
DOI 10.1016/j.scico.2004.11.012, PII S0167642304001844
-
P. Volgyesi, M. Maroti, S. Dora, E. Osses, and A. Ledeczi. Software composition and verification for sensor networks. Science of Computer Programming, 56(1-2):191-210, 2005. (Pubitemid 40303049)
-
(2005)
Science of Computer Programming
, vol.56
, Issue.1-2
, pp. 191-210
-
-
Volgyesi, P.1
Maroti, M.2
Dora, S.3
Osses, E.4
Ledeczi, A.5
-
30
-
-
34547461688
-
2db: A novel simulation-based debugger for sensor network applications
-
ACM Press, October
-
2db: a novel simulation-based debugger for sensor network applications. In Proceedings of the 6th EMSOFT, pages 102-111. ACM Press, October 2006.
-
(2006)
Proceedings of the 6th EMSOFT
, pp. 102-111
-
-
Wen, Y.1
Wolski, R.2
-
32
-
-
33750701516
-
Marionette: Using rpc for interactive development and debugging of wireless embedded networks
-
Nashville, TN, April
-
K. Whitehouse, G. Tolle, J. Taneja, C. Sharp, S. Kim, J. Jeong, J. Hui, P. Dutta, and D. Culler. Marionette: Using rpc for interactive development and debugging of wireless embedded networks. In Proceedings of the 5th IPSN(SPOTS track), pages 416-423, Nashville, TN, April 2006.
-
(2006)
Proceedings of the 5th IPSN(SPOTS Track)
, pp. 416-423
-
-
Whitehouse, K.1
Tolle, G.2
Taneja, J.3
Sharp, C.4
Kim, S.5
Jeong, J.6
Hui, J.7
Dutta, P.8
Culler, D.9
-
33
-
-
79959913704
-
Clairvoyant: A comprehensive source-level debugger for wireless sensor networks
-
J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. In Proceedings of the 5th SenSys, pages 189-203, 2007.
-
(2007)
Proceedings of the 5th SenSys
, pp. 189-203
-
-
Yang, J.1
Soffa, M.L.2
Selavo, L.3
Whitehouse, K.4
-
34
-
-
70450239992
-
Solarstore: Enhancing data reliability in solar-powered storage-centric sensor networks
-
New York, NY, USA, ACM
-
Y. Yang, L. Wang, D. K. Noh, H. K. Le, and T. F. Abdelzaher. Solarstore: enhancing data reliability in solar-powered storage-centric sensor networks. In Proceedings of the 7th MobiSys, pages 333-346, New York, NY, USA, 2009. ACM.
-
(2009)
Proceedings of the 7th MobiSys
, pp. 333-346
-
-
Yang, Y.1
Wang, L.2
Noh, D.K.3
Le, H.K.4
Abdelzaher, T.F.5
|