Deployment of assistive living technology in a nursing home environment: methods and lessons learned
Background With an ever-growing ageing population, dementia is fast becoming the chronic
disease of the 21 st century. Elderly people affected with dementia progressively lose their …
disease of the 21 st century. Elderly people affected with dementia progressively lose their …
Formalization and verification of kafka messaging mechanism using csp
J Xu, J Yin, H Zhu, L **ao - Computer Science and Information …, 2023 - doiserbia.nb.rs
Apache Kafka is an open source distributed messaging system based on the publish-
subscribe model, which achieves low latency, high throughput and good load balancing. As …
subscribe model, which achieves low latency, high throughput and good load balancing. As …
An adaptable and flexible framework for assistive living of cognitively impaired people
On account of chronic neurocognitive disorders, many people progressively lose their
autonomy and become more dependent on others, finally reaching the stage when they …
autonomy and become more dependent on others, finally reaching the stage when they …
Pcsp# denotational semantics with an application in sports analytics
The chapter introduces probabilistic CSP#(PCSP#) as a formal language for modeling
probabilistic systems, emphasizing its foundational role in concurrent and parallel …
probabilistic systems, emphasizing its foundational role in concurrent and parallel …
MDP-based reliability analysis of an ambient assisted living system
The proliferation of ageing population creates heavy burdens to all industrialised societies.
Smart systems equipped with ambient intelligence technologies, also known as Ambient …
Smart systems equipped with ambient intelligence technologies, also known as Ambient …
Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning
H Aloulou - 2013 - theses.hal.science
The heterogeneity of the environments as well as the diversity of patients' needs and profiles
are major constraints that challenge the spread of ambient assistive living (AAL) systems …
are major constraints that challenge the spread of ambient assistive living (AAL) systems …
Towards formal modelling and verification of pervasive computing systems
Smart systems equipped with emerging pervasive computing technologies enable people
with limitations to live in their homes independently. However, lack of guarantees for …
with limitations to live in their homes independently. However, lack of guarantees for …
Event analytics
The process analysis toolkit (PAT) integrates the expressiveness of state, event, time, and
probability-based languages with the power of model checking. PAT is a self-contained …
probability-based languages with the power of model checking. PAT is a self-contained …
[PDF][PDF] Reliability analysis of non-deterministic systems
L Gui - Formal Methods, 2014 - dl.comp.nus.edu.sg
As software becomes more complex and often operates in a dynamic environment, the
usage of certain software components is hard to be determined prior to their deployment …
usage of certain software components is hard to be determined prior to their deployment …
[PDF][PDF] Towards formal modelling and verification of pervasive computing systems.(2014)
Smart systems equipped with emerging pervasive computing technologies enable people
with limitations to live in their homes independently. However, lack of guarantees for …
with limitations to live in their homes independently. However, lack of guarantees for …