Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Ka I Pun"'
Autor:
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 1-15 (2019)
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are de
Externí odkaz:
https://doaj.org/article/e44f7e5d117948708eb464eb2889f50e
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 228, Iss Proc. iFMCloud 2016, Pp 16-26 (2016)
The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources to meet service-level requirements. To avoid software designs that sc
Externí odkaz:
https://doaj.org/article/11955698d305474b8c0ed8f2eca1e437
Publikováno v:
IEEE Access, Vol 10, Pp 6010-6027 (2022)
Artificial intelligence and machine learning have recently attracted considerable attention in the healthcare domain. The data used by machine learning algorithms in healthcare applications is often distributed over multiple sources, for instance, ho
Externí odkaz:
https://doaj.org/article/4f09a760926241a1ab8c4095a97f7ccf
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::967841901444851e1235d3f3666ee296
https://doi.org/10.1007/978-3-031-19756-7_24
https://doi.org/10.1007/978-3-031-19756-7_24
Publikováno v:
The Logic of Software. A Tasting Menu of Formal Methods ISBN: 9783031081651
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::492cae2edbd2ed14157c748581b84e46
https://doi.org/10.1007/978-3-031-08166-8_1
https://doi.org/10.1007/978-3-031-08166-8_1
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a46766324a138d497a3e26a0d707d9cd
https://doi.org/10.1007/978-3-031-19756-7_15
https://doi.org/10.1007/978-3-031-19756-7_15
Publikováno v:
Science of Computer Programming
Workflow analysis usually requires domain-specific knowledge from the domain experts, making it a relatively manual process. In addition, workflows often cross organisational boundaries. As a result, minor local modifications in the workflow of a col
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::306bcdc12af82c2ab4652e9212468761
https://hdl.handle.net/11250/3069710
https://hdl.handle.net/11250/3069710
Publikováno v:
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference. 2021
Wearable devices are currently being considered to collect personalized physiological information, which is lately being used to provide healthcare services to individuals. One application is detecting depression by utilization of motor activity sign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfa21f2c52327296f976693feb6f73e7
https://pubmed.ncbi.nlm.nih.gov/34891717
https://pubmed.ncbi.nlm.nih.gov/34891717