Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
A Generic Location Event Simulator
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
User Study Techniques in the Design and Evaluation of a Ubicomp Environment
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Agile Middleware of Pervasive Computing Environments
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A Framework for Developing Mobile, Context-aware Applications
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
A Testbed for Evaluating Human Interaction with Ubiquitous Computing Environments
TRIDENTCOM '05 Proceedings of the First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
Gaia Microserver: An Extendable Mobile Middleware Platform
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
ICDCSW '05 Proceedings of the First International Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI) (ICDCSW'05) - Volume 03
Context-Aware Resource Management in Multi-Inhabitant Smart Homes: A Nash H-Learning based Approach
PERCOM '06 Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications
InterPlay: A Middleware for Seamless Device Integration and Task Orchestration in a Networked Home
PERCOM '06 Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications
Visualization of users' activities in a specific environment
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
SitCom: Virtual Smart-Room Environment for Multi-modal Perceptual Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Architecture Model and Tools for Perceptual Dialog Systems
TSD '08 Proceedings of the 11th international conference on Text, Speech and Dialogue
QoS adaptation in streaming 3D graphics for FAIRVIEW
Proceedings of the 18th International Workshop on Network and Operating Systems Support for Digital Audio and Video
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
An Architecture for Flexible Entity Configuration in a Simulation Environment
Edutainment '09 Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development
MMSys '10 Proceedings of the first annual ACM SIGMM conference on Multimedia systems
A simulation framework for sensor-based systems in second life
Presence: Teleoperators and Virtual Environments
Deployment planning tool for indoor 3D-WSNs
Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing - Adjunct
Developing mobile ubiquitous services for the elderly using virtual environments
BEBI'09 Proceedings of the 2nd WSEAS international conference on Biomedical electronics and biomedical informatics
Supporting rapid design and evaluation of pervasive applications: challenges and solutions
Personal and Ubiquitous Computing
Pervasive'11 Proceedings of the 9th international conference on Pervasive computing
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
Widget-Based simulator for testing smart space
Transactions on Edutainment III
Virtual prototyping using miniature model and visualization for interactive public displays
Proceedings of the Designing Interactive Systems Conference
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Chronobiology applied to the development of human behavior computational models
Journal of Ambient Intelligence and Smart Environments
Modeling and simulation for user assistance in smart environments
Proceedings of the Winter Simulation Conference
Situation-based testing for pervasive computing environments
Pervasive and Mobile Computing
Synthesizing daily life logs through gaming and simulation
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
An empirical study on immersive prototyping dimensions
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Testing context-aware services based on smartphones by agent based social simulation
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Hi-index | 0.00 |
In this paper, we propose a simulator for facilitating reliable and inexpensive development of ubiquitous applications where each application software controls a lot of information appliances based on the state of external environment, user's contexts and preferences. The proposed simulator realistically reproduces behavior of application software on virtual devices in a virtual 3D space. For this purpose, the simulator provides functions to facilitate deployment of virtual devices in a 3D space, simulates communication among the devices from MAC level to application level, and reproduces the change of physical quantities (e.g., temperature) caused by devices (e.g., air conditioners). Also, we keep software portability between virtual devices and real devices. As the most prominent function of the simulator, we provide a systematic and visual testing method for testing whether a given application software satisfies specified requirements.