Recommendations
Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach
ASSETS '14: Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibilityThis paper presents an approach to verifying the activities of daily living of older adults at their home. We verify activities, instead of inferring them, because our monitoring approach is driven by routines, initially sketched by users in their ...
Replicated Computations Results (RCR) Report for “Design and Verification of Trusted Collective Adaptive Systems”
Special Issue on FORECASTThe article “Design and Verification of Trusted Collective Adaptive Systems” by Aldini proposes a process-algebraic framework for modeling and verifying trusted collective adaptive systems. To favor reuse, the system and trust models can be specified ...
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Comments