-
1
-
-
84867731364
-
Freight train monitoring: A case-study for the pSHIELD project
-
V. Casola, M. Esposito, N. Mazzocca, and F. Flammini, "Freight train monitoring: A case-study for the pSHIELD project," in Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012, 2012, pp. 597-602.
-
Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012, 2012
, pp. 597-602
-
-
Casola, V.1
Esposito, M.2
Mazzocca, N.3
Flammini, F.4
-
2
-
-
67650700027
-
Survey of wireless sensor networks simulation tools for demanding applications
-
M. Korkalainen, M. Sallinen, N. Krkkinen, and P. Tukeva, "Survey of wireless sensor networks simulation tools for demanding applications," in Proc. of the 5th Int. Conf. on Networking and Services, 2009, pp. 102-106.
-
Proc. of the 5th Int. Conf. on Networking and Services, 2009
, pp. 102-106
-
-
Korkalainen, M.1
Sallinen, M.2
Krkkinen, N.3
Tukeva, P.4
-
3
-
-
84864826214
-
Wireless sensor network simulators - A survey and comparisons
-
I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "Wireless sensor network simulators - a survey and comparisons," International Journal of Computer Networks, vol. 2, no. 6, pp. 249-265, 2011.
-
(2011)
International Journal of Computer Networks
, vol.2
, Issue.6
, pp. 249-265
-
-
Akyildiz, I.F.1
Su, W.2
Sankarasubramaniam, Y.3
Cayirci, E.4
-
4
-
-
78650967500
-
-
Rapport technique, Eindhoven University of Technology
-
P. Stanley-Marbell, T. Basten, J. Rousselot, R. S. Oliver, H. Karl, M. Geilen, R. Hoes, G. Fohler, and J.-D. Decotignie, "System models in wireless sensor networks," Rapport technique, Eindhoven University of Technology, 2008.
-
(2008)
System Models in Wireless Sensor Networks
-
-
Stanley-Marbell, P.1
Basten, T.2
Rousselot, J.3
Oliver, R.S.4
Karl, H.5
Geilen, M.6
Hoes, R.7
Fohler, G.8
Decotignie, J.-D.9
-
5
-
-
55749090413
-
Energy modeling of processors in wireless sensor networks based on petri nets
-
IEEE Computer Society
-
A. Shareef and Y. Zhu, "Energy modeling of processors in wireless sensor networks based on petri nets," in Proc. of the 2008 Int. Conf. on Parallel Processing - Workshops. IEEE Computer Society, 2008, pp. 129-134.
-
(2008)
Proc. of the 2008 Int. Conf. on Parallel Processing - Workshops
, pp. 129-134
-
-
Shareef, A.1
Zhu, Y.2
-
6
-
-
84881435314
-
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications
-
Proceedings of the 2013 27th International Conference on Advanced Information Networking and Applications Workshops, ser. Washington, DC, USA: IEEE Computer Society, Online. Available
-
M. D'Arienzo, M. Iacono, S. Marrone, and R. Nardone, "Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications," in Proceedings of the 2013 27th International Conference on Advanced Information Networking and Applications Workshops, ser. WAINA '13. Washington, DC, USA: IEEE Computer Society, 2013, pp. 1588-1593. [Online]. Available: http://dx.doi.org/10.1109/WAINA.2013.33
-
(2013)
WAINA '13
, pp. 1588-1593
-
-
D'Arienzo, M.1
Iacono, M.2
Marrone, S.3
Nardone, R.4
-
7
-
-
4143085033
-
-
S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and P. Lollini, "Model-based evaluation of a radio resource management system for wireless networks," 2004, pp. 51-59.
-
(2004)
Model-based Evaluation of a Radio Resource Management System for Wireless Networks
, pp. 51-59
-
-
Porcarelli, S.1
Di Giandomenico, F.2
Bondavalli, A.3
Lollini, P.4
-
8
-
-
84893465626
-
A compositional modelling approach for large sensor networks design
-
E. Battista, V. Casola, S. Marrone, N. Mazzocca, and S. Nardone, "A compositional modelling approach for large sensor networks design,"in Proc. of the 1st International Workshop on Cloud and Distributed System Applications, co-located with 3PGCIC 2013 Conference, 2013.
-
Proc. of the 1st International Workshop on Cloud and Distributed System Applications, Co-located with 3PGCIC 2013 Conference, 2013
-
-
Battista, E.1
Casola, V.2
Marrone, S.3
Mazzocca, N.4
Nardone, S.5
-
9
-
-
49149102656
-
Analysis of on-off policies in sensor networks using interacting markovian agents
-
M. Gribaudo, D. Cerotti, and A. Bobbio, "Analysis of on-off policies in sensor networks using interacting markovian agents," in Pervasive Computing and Communications, 2008. PerCom 2008. Sixth Annual IEEE International Conference on, 2008, pp. 300-305.
-
Pervasive Computing and Communications, 2008. PerCom 2008. Sixth Annual IEEE International Conference On, 2008
, pp. 300-305
-
-
Gribaudo, M.1
Cerotti, D.2
Bobbio, A.3
-
10
-
-
0036922084
-
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
-
Proceedings of the 2002 International Conference on Dependable Systems and Networks, ser. Washington, DC, USA: IEEE Computer Society
-
K. Trivedi, "SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator," in Proceedings of the 2002 International Conference on Dependable Systems and Networks, ser. DSN '02. Washington, DC, USA: IEEE Computer Society, 2002.
-
(2002)
DSN '02
-
-
Trivedi, K.1
-
11
-
-
0036821893
-
The Möbius framework and its implementation
-
October
-
D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, "The Möbius framework and its implementation," IEEE Trans. Softw. Eng., vol. 28, pp. 956-969, October 2002.
-
(2002)
IEEE Trans. Softw. Eng.
, vol.28
, pp. 956-969
-
-
Deavours, D.D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.M.6
Sanders, W.H.7
Webster, P.G.8
-
12
-
-
26444489108
-
The OsMoSYS approach to multi-formalism modeling of systems
-
V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis, "The OsMoSYS approach to multi-formalism modeling of systems," Software and Systems Modeling, vol. 3, pp. 68-81, 2004.
-
(2004)
Software and Systems Modeling
, vol.3
, pp. 68-81
-
-
Vittorini, V.1
Iacono, M.2
Mazzocca, N.3
Franceschinis, G.4
-
13
-
-
84937217390
-
3: A tool for multi-formalism and meta-modelling
-
Fundamental Approaches to Software Engineering, ser. R.-D. Kutsche and H. Weber, Eds. Springer Berlin / Heidelberg
-
3: A tool for multi-formalism and meta-modelling," in Fundamental Approaches to Software Engineering, ser. Lecture Notes in Computer Science, R.-D. Kutsche and H. Weber, Eds. Springer Berlin / Heidelberg, 2002, vol. 2306, pp. 174-188.
-
(2002)
Lecture Notes in Computer Science
, vol.2306
, pp. 174-188
-
-
Lara, J.1
Vangheluwe, H.2
-
14
-
-
84944319215
-
Stochastic activity networks: Formal definitions and concepts
-
Lectures on Formal Methods and Performance-Analysis Springer Berlin Heidelberg
-
W. Sanders and J. Meyer, "Stochastic activity networks: Formal definitions and concepts," in Lectures on Formal Methods and Performance-Analysis. Springer Berlin Heidelberg, 2001, vol. 2090 LNCS, pp. 315-343.
-
(2001)
LNCS
, vol.2090
, pp. 315-343
-
-
Sanders, W.1
Meyer, J.2
-
15
-
-
33744912322
-
-
M. Corporation
-
M. Corporation, "Telos (rev b) datasheet," http://www.moteiv. com, 2004.
-
(2004)
Telos (Rev B) Datasheet
-
-
|