-
1
-
-
48049103178
-
Tc-wsans: A tuple channel based coordination model for wireless sensor and actor networks
-
J. Barbaran, M. Diaz, I. Esteve, D. Garrido, L. Llopis, B. Rubio, and J. Troya. Tc-wsans: A tuple channel based coordination model for wireless sensor and actor networks. In Computers and Communications, 2007. ISCC 2007. 12th IEEE Symposium on, pages 173-178, 2007.
-
(2007)
Computers and Communications, 2007. ISCC 2007. 12th IEEE Symposium on
, pp. 173-178
-
-
Barbaran, J.1
Diaz, M.2
Esteve, I.3
Garrido, D.4
Llopis, L.5
Rubio, B.6
Troya, J.7
-
2
-
-
20844436880
-
MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms
-
S. Bhatti, J. Carlson, H. Dai, J. Deng, J. Rose, A. Sheth, B. Shucker, C. Gruenwald, A. Torgerson, and R. Han. MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms. Mobile Networks and Applications, 10:563-579, 2005.
-
(2005)
Mobile Networks and Applications
, vol.10
, pp. 563-579
-
-
Bhatti, S.1
Carlson, J.2
Dai, H.3
Deng, J.4
Rose, J.5
Sheth, A.6
Shucker, B.7
Gruenwald, C.8
Torgerson, A.9
Han, R.10
-
6
-
-
51949084795
-
A component-based model and language for wireless sensor network applications
-
Aug.
-
A. Dearle, D. Balasubramaniam, J. Lewis, and R. Morrison. A component-based model and language for wireless sensor network applications. In Proc. of 32nd Annual IEEE Int. Conf. on Computer Software and Applications (COMPSAC '08), pages 1303-1308, Aug. 2008.
-
(2008)
Proc. of 32nd Annual IEEE Int. Conf. on Computer Software and Applications (COMPSAC '08)
, pp. 1303-1308
-
-
Dearle, A.1
Balasubramaniam, D.2
Lewis, J.3
Morrison, R.4
-
8
-
-
77956444677
-
Modeling of sensor networks using XRM
-
Nov.
-
A. Demaille, S. Peyronnet, and B. Sigoure. Modeling of sensor networks using XRM. In Proc. of 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 271-276, Nov. 2006.
-
(2006)
Proc. of 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)
, pp. 271-276
-
-
Demaille, A.1
Peyronnet, S.2
Sigoure, B.3
-
9
-
-
34547552726
-
A component framework for wireless sensor and actor networks
-
Sept.
-
M. Diaz, D. Garrido, L. Llopis, B. Rubio, and J. Troya. A component framework for wireless sensor and actor networks. In Proc. of IEEE Conf. on Emerging Technologies and Factory Automation (ETFA '06), pages 300-307, Sept. 2006.
-
(2006)
Proc. of IEEE Conf. on Emerging Technologies and Factory Automation (ETFA '06)
, pp. 300-307
-
-
Diaz, M.1
Garrido, D.2
Llopis, L.3
Rubio, B.4
Troya, J.5
-
10
-
-
13944283788
-
Mapping of high-level SDL models to efficient implementations for TinyOS
-
Aug.-Sept
-
D. Dietterle, J. Ryman, K. Dombrowski, and R. Kraemer. Mapping of high-level SDL models to efficient implementations for TinyOS. In Proc. of Euromicro Symp. on Digital System Design (DSD 2004), pages 402-406, Aug.-Sept. 2004.
-
(2004)
Proc. of Euromicro Symp. on Digital System Design (DSD 2004)
, pp. 402-406
-
-
Dietterle, D.1
Ryman, J.2
Dombrowski, K.3
Kraemer, R.4
-
14
-
-
79951867602
-
Integration of component-based frameworks with sensor modelling languages for the sensor web
-
Dec.
-
R. Liscano and K. Kazemi. Integration of component-based frameworks with sensor modelling languages for the sensor web. In Proc. of IEEE GLOBECOM Workshops (GC Wkshps), pages 235-240, Dec. 2010.
-
(2010)
Proc. of IEEE GLOBECOM Workshops (GC Wkshps)
, pp. 235-240
-
-
Liscano, R.1
Kazemi, K.2
-
15
-
-
38149003822
-
Wireless sensor network application development: An architecture-centric mde approach
-
F. Losilla, C. Vicente-Chicote, B. Ivarez, A. Iborra, and P. Snchez. Wireless sensor network application development: An architecture-centric mde approach. In Software Architecture, volume 4758 of Lecture Notes in Computer Science, pages 179-194. 2007.
-
(2007)
Software Architecture, Volume 4758 of Lecture Notes in Computer Science
, pp. 179-194
-
-
Losilla, F.1
Vicente-Chicote, C.2
Ivarez, B.3
Iborra, A.4
Snchez, P.5
-
16
-
-
51749117404
-
A framework for modeling, simulation and automatic code generation of sensor network application
-
Jun.
-
M. Mozumdar, F. Gregoretti, L. Lavagno, L. Vanzago, and S. Olivieri. A framework for modeling, simulation and automatic code generation of sensor network application. In Proc. of 5th IEEE Comm. Soc. Conf. on Sensor, Mesh and Ad Hoc Communications and Networks (SECON'08), pages 515-522, Jun. 2008.
-
(2008)
Proc. of 5th IEEE Comm. Soc. Conf. on Sensor, Mesh and Ad Hoc Communications and Networks (SECON'08)
, pp. 515-522
-
-
Mozumdar, M.1
Gregoretti, F.2
Lavagno, L.3
Vanzago, L.4
Olivieri, S.5
-
17
-
-
36349023361
-
E2rina: An energy efficient and reliable in-network aggregation for clustered wireless sensor networks
-
L. Necchi, A. Bonivento, L. Lavagno, A. Sangiovanni-Vincentelli, and L. Vanzago. E2rina: an energy efficient and reliable in-network aggregation for clustered wireless sensor networks. In Wireless Communications and Networking Conference, pages 3364-3369, 2007.
-
(2007)
Wireless Communications and Networking Conference
, pp. 3364-3369
-
-
Necchi, L.1
Bonivento, A.2
Lavagno, L.3
Sangiovanni-Vincentelli, A.4
Vanzago, L.5
-
20
-
-
70350680647
-
Towards verifying correctness of wireless sensor network applications using Insense and Spin
-
O. Sharma, J. Lewis, A. Miller, A. Dearle, D. Balasubramaniam, R. Morrison, and J. Sventek. Towards verifying correctness of wireless sensor network applications using Insense and Spin. In Model Checking Software, volume 5578 of Lecture Notes in Computer Science, pages 223-240. 2009.
-
(2009)
Model Checking Software, Volume 5578 of Lecture Notes in Computer Science
, pp. 223-240
-
-
Sharma, O.1
Lewis, J.2
Miller, A.3
Dearle, A.4
Balasubramaniam, D.5
Morrison, R.6
Sventek, J.7
-
21
-
-
51849143127
-
Efficient and refined modeling of wireless sensor network nodes using SystemC-AMS
-
Apr.
-
M. Vasilevski, N. Beilleau, H. Aboushady, and F. Pecheux. Efficient and refined modeling of wireless sensor network nodes using SystemC-AMS. In Conf. on Ph. D. Research in Microelectronics and Electronics (PRIME 2008), pages 81-84, Apr. 2008.
-
(2008)
Conf. on Ph. D. Research in Microelectronics and Electronics (PRIME 2008)
, pp. 81-84
-
-
Vasilevski, M.1
Beilleau, N.2
Aboushady, H.3
Pecheux, F.4
|