Sökning: "Ashalatha Kunnappilly"

Hittade 2 avhandlingar innehållade orden Ashalatha Kunnappilly.

  1. 1. Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support

    Författare :Ashalatha Kunnappilly; Cristina Seceleanu; Maria Lindén; Elena Troubitsyna; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Ambient Assisted Living (AAL) solutions are aimed to assist the elderly in their independent and safe living. During the last decade, the AAL field has witnessed a significant development due to advancements in Information and Communication Technologies, Ubiquitous Computing and Internet of Things. LÄS MER

  2. 2. Modeling and Formal Analysis of e-Health Systems

    Författare :Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. LÄS MER