Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions.
The 18 revised full papers presented in this volume were carefully... Læs mere
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
This book constitutes the refereed post-conference proceedings of the 6th... Læs mere
This book constitutes the refereed proceedings of the First International Conference... Læs mere
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.
However, coding and implementing business logic in a decentralized and transparent environment is fundamentally different from traditional programming and... Læs mere
The book explains the concepts behind microservices, discovery of microservices and how individual services can be combined to yield composite service(i.e., service composition) and techniques of service composition.
Security is too important to be left in the hands of just one department or employee—it’s a concern of an entire enterprise