Verification-enabling interaction model for services in smart space: a TAIS case
Smart spaces are used to build semantically enriched communication media for integration of different services. Generally, the services functioning in one particular smart space can be developed by different teams and without some general perspective. This may result in instability of different kind...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
FRUCT
2015-04-01
|
| Series: | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| Subjects: | |
| Online Access: | https://www.fruct.org/publications/fruct17/files/Pon.pdf
|