Experiences of developing and deploying a context-aware tourist guide: the GUIDE project
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Enabling Location-Aware Pervasive Computing Applications for the Edlerly
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
The Smart Classroom: Merging Technologies for Seamless Tele-education
IEEE Pervasive Computing
Intelligent Agents Meet Semantic Web in a Smart Meeting Room
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Holarchy formation and optimization in holonic manufacturing systems with contract net
Automatica (Journal of IFAC)
Robustness analysis of holonic assembly/disassembly processes with Petri nets
Automatica (Journal of IFAC)
Modeling Knowledge Flow Using Petri Net
KAM '08 Proceedings of the 2008 International Symposium on Knowledge Acquisition and Modeling
Developing cooperation mechanism for multi-agent systems with Petri nets
Engineering Applications of Artificial Intelligence
Dynamic composition of holonic processes to satisfy timing constraints with minimal costs
Engineering Applications of Artificial Intelligence
Brief paper: Collaborative reconfiguration mechanism for holonic manufacturing systems
Automatica (Journal of IFAC)
Design of reconfiguration mechanism for holonic manufacturing systems based on formal models
Engineering Applications of Artificial Intelligence
Collaborative composition of processes in holonic manufacturing systems
Computers in Industry
Fault-tolerant deadlock avoidance algorithm for assembly processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Robustness of deadlock avoidance algorithms for sequential processes
Automatica (Journal of IFAC)
Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
Automatica (Journal of IFAC)
Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
Automatica (Journal of IFAC)
Analysis of contract net in multi-agent systems
Automatica (Journal of IFAC)
Development of context-aware workflow systems based on Petri Net Markup Language
Computer Standards & Interfaces
Hi-index | 0.00 |
In existing literature, different methodologies for the design of context-aware systems have been proposed. However, workflow models have not been considered in these methodologies. Despite the fact that many context-awareness projects have been launched, few address the issues of context-aware user interface generation and automated resource allocation. Our interests in this paper are to propose a framework to develop workflow driven context-aware human computer interaction to effectively control resource allocation. To achieve the objective, a model for knowledge management is required. In existing literature, one formal knowledge representation and reasoning model is Petri net. We first propose Petri net models to describe the workflows in the systems. Next, we propose models to capture resource activities in the systems. Finally, the interactions between workflows and resources are combined to obtain a complete model for the systems. Based on the aforementioned model, we propose architecture to automatically generate context-aware graphical user interface to guide the users and control resource allocation.