Login / Signup
Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth.
John C. Sarivougioukas
Aristides Th. Vagelatos
Isaac E. Lagaris
Published in:
ICCI*CC (2015)
Keyphrases
</>
cognitive informatics
cognitive computing
code generator
behavioral models
mobile agents
formal specification
real time operating system rtos
robotic systems
mobile users
artificial intelligence
natural language processing
process model