On modeling for pervasive computing environments

MSWiM'07: Proceedings of the Tenth ACM Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems

Volumn , Issue , 2007, Pages 240-243

  Campiolo, Rodrigo ^a   Cremer, Vivian ^b   Sobral, João Bosco M ^b  

^a UNIVERSIDADE DE RIO VERDE   (Brazil)

^b FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

Intelligent environments; Modeling; Pervasive computing

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; SPECIFICATION LANGUAGES;

INTELLIGENT ENVIRONMENTS;

UBIQUITOUS COMPUTING;

EID: 42149185619     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1298126.1298168     Document Type: Conference Paper

References (12)

1. J. J. Barton and V. Vijayraghavan. Ubiwise, a ubiquitous wireless infrastructure simulation environment. Technical Report HPL-2002-303, HP Laboratories, Palo Alto, November 2002.
2. R. Campbell, J. Al-Muhtadi, P. Naldurg, G. Sampemane, and M. D. Mickunas. Towards security and privacy for pervasive computing. In International Symposium on Software Security, Tokyo, Japan, 2002.
3. R. Campiolo. Aspects for modeling in pervasive computig environments. Master's thesis, Computer Science at Federal University of Santa Catarina, June 2005. (In Portuguese).
4. D. Heckmann. Ubiquitous User Modeling. PhD thesis, University of Saarlands, November 2005.
5. J. Hightower and G. Borriello. Location systems for ubiquitous computing. IEEE Computer, 34(8):57-66, August 2001.
6. M. Martin and P. Nurmiy. A generic large scale simulator for ubiquitous computing. In Proc. 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MobiQuitous), San Jose, CA, July 2006.
7. R. Morla and N. Davies. Evaluating a location-based application: A hybrid test and simulation environment. IEEE Pervasive Computing, 3(3):48-56, July-September 2004.
8. M. Satyanarayanan. Pervasive computing: Vision and challenges. IEEE Personal Communications, 8(4): 10-17, August 2001.
9. G. P. Smith. An Object-oriented Approach to Formal Specification. PhD thesis, University of Queensland, Australia, October 1992.
10. J. M. Spivey. The Z Notation : A Reference Manual. Prentice Hall, 1989.
11. M. Weiser. The computer for the twenty-first century. Scientific American, pages 94-104, September 1991.
12. M. Weiser. Some computer science issues in ubiquitous computing. Communications of the ACM, 36(7):75-84, July 1993.