This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federation, SCF 2021, in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 7 full papers and 2 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover topics in the field of Advertising Services, Banking Services, Broadcasting & Cable TV Service, Business Services, Communications Services, Government Services, Real Estate Operations Services, Schools and Education Services,...
This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federati...
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.
There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.
The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality...
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th Internat...
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.
WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel computing systems. The 7 papers presented in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections named: Directive Alternatives;...
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place ...
10 
