Universal access in human-computer interaction: multimodality and assistive environments : 13th I…
by International Conference on Universal Access in Human-Computer Interaction, Orlando, Fla.), International Conference on Human-Computer Interaction, Orlando, Fla.)
fromLecture Notes in Computer Science
This two-volume set constitutes the proceedings of the 13th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The …
This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, f…
This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, f…
This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, f…
This book constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, held in Halifax, NS, Canada, in June 2022. The 39 full papers presented together with 7 short papers were selected from 113 submissions. The pap…
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are c…
I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction So…
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired pro…
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed a…