On modeling for pervasive computing environments

Authors:
Rodrigo Campiolo;Vivian Cremer;João Bosco Mangueira Sobral
Affiliations:
University of Rio Verde, Rio Verde, Brazil;Federal University of Santa Catarina, Florianópolis, Brazil;Federal University of Santa Catarina, Florianópolis, Brazil
Venue:
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
Year:
2007

Citing 5
Cited 2

The Z notation: a reference manual

The Z notation: a reference manual
Some computer science issues in ubiquitous computing

Communications of the ACM - Special issue on computer augmented environments: back to the real world
Location Systems for Ubiquitous Computing

Computer
Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment

IEEE Pervasive Computing
Towards security and privacy for pervasive computing

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems

Modeling and simulation to assist context aware system design

Simulation
Macro and micro context-awareness for autonomic pervasive computing

Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling ubiquitous computing environments are complex tasks due to heterogeneousness and complexity of the inherent elements in such scenarios. For such, a deep study about all properties and features of these environments is needed. This paper specifies and discusses the requirements, features and some essential functions for modeling of these environments in order to we can build a simulator for such environments. Our modeling is helped by object-oriented formal specification language: Object-Z. As a consequence, the model provides structures to represent, analyze and discuss the aspects for modeling and to prepare the way for the simulation in several ubiquitous computing scenarios.