Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Ashalatha Kunnappilly"'
Publikováno v:
Sensors, Vol 19, Iss 22, p 5057 (2019)
Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achiev
Externí odkaz:
https://doaj.org/article/f481c7836f8d4b1996e802ce69594d37
Publikováno v:
Computer Science and Information Systems. 20:329-357
The 5G communication technology has the ability to create logical networks, called network slices, which are specifically carved to serve particular application domains. Due to the mix of different application criticality, it becomes crucial to verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94e2c77d659d64d3cd6d1f87dde6c724
https://doi.org/10.2298/csis211001059b
https://doi.org/10.2298/csis211001059b
Publikováno v:
ECBS
The new 5G technology has the ability to create logical communication networks, called network slices, which are specifically carved to serve particular application domains. Due to the mix of applications criticality, it becomes crucial to verify if
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6feb4a1aa523c736737ef21367c5ba58
https://doi.org/10.1145/3459960.3459965
https://doi.org/10.1145/3459960.3459965
Publikováno v:
APSEC
The fifth generation of cellular wireless technol- ogy, 5G, bears the promise to transform the future network connectivity by providing seamless, low-latency and reliable interconnections between devices. In this paper, we focus on modeling and analy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ce974684187998244f3be9b717f1d9d
https://doi.org/10.1109/apsec51365.2020.00021
https://doi.org/10.1109/apsec51365.2020.00021
Publikováno v:
Sensors
Volume 19
Issue 22
Sensors, Vol 19, Iss 22, p 5057 (2019)
Sensors (Basel, Switzerland)
Volume 19
Issue 22
Sensors, Vol 19, Iss 22, p 5057 (2019)
Sensors (Basel, Switzerland)
Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achiev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8d76f67d23ad66597ee9b7c9cfdfe3b
Publikováno v:
ENASE
Modern cyber-physical systems usually assume a certain degree of autonomy. Such systems, like Ambient Assisted Living systems aimed at assisting elderly people in their daily life, often need to pe ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1161768afb87e74f7223de11bd7a049
https://doi.org/10.5220/0007730201140126
https://doi.org/10.5220/0007730201140126
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a32f4d2ea939330dcd88ec9cbc237ee
https://doi.org/10.1007/978-3-030-03421-4_31
https://doi.org/10.1007/978-3-030-03421-4_31
Publikováno v:
UCC Companion
Cloud computing is relatively a new technique to host and use the services and applications from the internet. Although it offers a multitude of advantages like scalability, low operating cost, accessibility and maintainability, etc., they are often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b3d22e7888ea3723e5835a135337d61
https://doi.org/10.1109/ucc-companion.2018.00063
https://doi.org/10.1109/ucc-companion.2018.00063
Autor:
Adina Magda Florea, Oana Cramariuc, Cristina Seceleanu, Ashalatha Kunnappilly, Irina Mocanu, Imad Alex Awada
Publikováno v:
INTED Proceedings.
In this paper, we present the outcomes and conclusions obtained by involving seniors from three countries (Denmark, Poland and Romania) in an innovative project funded under the European Ambient As ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc0c9a5cda89853140df44d2daf29adf
https://doi.org/10.21125/inted.2018.1596
https://doi.org/10.21125/inted.2018.1596
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207
ISoLA (2)
ISoLA (2)
A modern way of enhancing elderly people’s quality of life is by employing various Ambient Assisted Living solutions that facilitate an independent and safe living for their users. This is achieved by integrating computerized functions such as heal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2425965bdf3b500560528e03c928702d
https://doi.org/10.1007/978-3-030-03421-4_29
https://doi.org/10.1007/978-3-030-03421-4_29