Verification-enabling interaction model for services in smart space: a TAIS case.
Andrew PonomarevVladimir ParfenovPublished in: FRUCT (2015)
Keyphrases
- smart spaces
- interaction model
- context aware
- ubiquitous computing
- pervasive computing
- ubiquitous environment
- mobile devices
- virtual environment
- mobile applications
- rapid prototyping
- multi user
- daily life
- service oriented
- web services
- real time
- service composition
- service discovery
- domain specific
- user interface
- multi agent systems