References

  1. F. Aurenhammer (1991): Voronoi Diagrams—A Survey of a Fundamental Geometric Data Structure. ACM Computing Surveys (CSUR) 23(3), pp. 345–405, doi:10.1145/116873.116880.
  2. L. Bortolussi, V. Galpin & J. Hillston: HYPE with Stochastic Events. EPTCS 57, pp. 120–133, doi:10.4204/EPTCS.57.9.
  3. L. Bortolussi, V. Galpin & J. Hillston (2012): Hybrid Performance Modelling of Opportunistic Networks. In: 10th Workshop on Quantitative Aspects of Programming Languages and Systems 85, pp. 106–121, doi:10.4204/EPTCS.85.8.
  4. D. Bruneo, M. Scarpa, A. Bobbio, D. Cerotti & M. Gribaudo (2012): Markovian Agent Modeling Swarm Intelligence Algorithms in Wireless Sensor Networks. Performance Evaluation 69(3), pp. 135–149, doi:10.1016/j.peva.2010.11.007.
  5. C.Baier, L. Cloth, B. Haverkort, M. Kuntz & M. Siegle (2004): Model Checking Action and State-Labelled Markov Chains. In: International Conference on Dependable Systems and Networks. IEEE, pp. 701–710, doi:10.1109/DSN.2004.1311941.
  6. A. Chaintreau, J.-Y. Le Boudec & N. Ristanovic (2009): The Age of Gossip: Spatial Mean Field Regime. In: Proceedings of the 11th International Joint Conference on Measurement and Modeling of Computer Systems. ACM, pp. 109–120, doi:10.1145/1555349.1555363.
  7. A. Doria, M. Uden & D. Pandey (2002): Providing Connectivity to the Saami Nomadic Community. In: Proc. 2nd Int. Conf. on Open Collaborative Design for Sustainable Innovation.
  8. C. Feng (2012): Modelling Opportunistic Netowrks with HYPE. School of Informatics, University of Edinburgh. Available at https://dl.dropboxusercontent.com/u/61208698/IM121159.pdf.
  9. V. Galpin, L. Bortolussi & J. Hillston (2013): HYPE: Hybrid Modelling by Composition of Flows. Formal Aspects of Computing, pp. 1–39, doi:10.1007/s00165-011-0189-0.
  10. M. Gribaudo, D. Cerotti & A. Bobbie (2008): Analysis of on-off Policies in Sensor Networks Using Interacting Markovian Agents. In: 6th Annual IEEE International Conference on Pervasive Computing and Communications. IEEE, pp. 300–305, doi:10.1109/PERCOM.2008.100.
  11. M. C Guenther & J. T Bradley (2011): Higher Moment Analysis of a Spatial Stochastic Process Algebra. In: Computer Performance Engineering. Springer, pp. 87–101, doi:10.1007/978-3-642-24749-1_8.
  12. J. Hillston (2005): Fluid Flow Approximation of PEPA Models. In: 2nd International Conference on the Quantitative Evaluation of Systems. IEEE, pp. 33–42, doi:10.1109/QEST.2005.12.
  13. C. Huang, K. Lan & C. Tsai (2008): A Survey of Opportunistic Networks. In: Proceedings of 22nd International Conference on Advanced Information Networking and Applications-Workshops, pp. 1672–1677, doi:10.1109/WAINA.2008.292.
  14. M. Gribaudo M. Garetto (2006): Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. In: 3rd International Conference on Quantitative Evaluation of Systems, pp. 73––82, doi:10.1109/QEST.2006.42.
  15. A. Pentland, R. Fletcher & A. Hasson (2004): Daknet: Rethinking Connectivity in Developing Nations. Computer 37(1), pp. 78–83, doi:10.1109/MC.2004.1260729.
  16. J. Philo, O. Hidekazu, W. Yong, M. Margaret, P. Li Shiuan & R. Daniel (2002): Energy-Efficient Computing for Wildlife Tracking: Design Trade-Offs and Early Experiences with ZebraNet. In: ACM Sigplan Notices 37. ACM, pp. 96–107, doi:10.1145/605432.605408.
  17. T. Small & Z. J Haas (2003): The Shared Wireless Infostation model: a New Adhoc Networking Paradigm (or Where There is a Whale, There is a Way). In: Proceedings of the 4th ACM international symposium on Mobile ad hoc networking computing. ACM, pp. 233–244, doi:10.1145/778415.778443.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org