RT Conference Proceedings
T1 A Formal Programming Framework for Digital Avatars
A1 Perez-Vereda, Alejandro
A1 Canal-Velasco, José Carlos
A1 Pimentel-Sánchez, Ernesto
K1 Aplicaciones (Software)
K1 Teléfonos inteligentes
AB In the current IoT era, the number of smart things to interact with is raising everyday. However, each one of them precises a manual and specific configuration. In a more people-friendly scenario, smart things should adapt automatically to the preferences of their users. In this field, we have participated in the design of People as a Service, a mobile computing reference architecture which endows the smartphone with the capability of inferring and sharing a virtual profile of its owner. Currently, we are developing Digital Avatars, a framework for programming interac-tions between smartphones and other devices. This way, the smartphone becomes a personalized and seamless interface between people and their IoT environment, configuring the smart things with information from the virtual profile. In this work, we present a formalization of Digital Avatars by means of a Linda-based system with multiple shared tuple spaces.
YR 2019
FD 2019-09-05
LK https://hdl.handle.net/10630/18267
UL https://hdl.handle.net/10630/18267
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.Ministerio de Ciencia, Innovación y Universidades: Proyecto PGC2018-094905-B-I00
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026