Modeling and Verification of Context-Awareness Service for Time Critical Applications Using Colored Petri-Net.
Seungwok HanSung-Keun SongHee Yong YounPublished in: IAT (2008)
Keyphrases
- colored petri nets
- context awareness
- petri net
- web services
- context aware
- service management
- ubiquitous computing
- ubiquitous computing environments
- ambient intelligence
- context modeling
- service composition
- pervasive computing
- heterogeneous wireless networks
- computing environments
- context sensitive
- smart home
- wearable computing
- service discovery
- service providers
- human computer interaction
- service oriented
- human centric
- context aware computing
- context aware systems
- artificial intelligence
- intelligent user interfaces
- pervasive computing environments
- smart objects
- context aware services
- current context
- computing systems
- end users
- artificial neural networks