Recently microservices have emerged as a new architectural pattern which promises many advantages. Services are modeled along business entities, which should result in a flexible system. Apart from that the pattern promises better fault resilience against outages and better performance regarding scalability. In this paper we explore the differences between several architectural styles where we ...

One of the computational grand challenge problems is the development of methodology capable of sampling conformational equilibria in systems characterized by rough energy landscapes. If met, many important problems, most notably biomolecular structure prediction and the discovery of the polymorphism in organic molecular crystals could be significantly impacted. In this talk, I will discuss seve...

This report documents the program and the outcomes of Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions”. The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly interactive ev...