In the last two decades, the continuous increase of computational power has produced an
overwhelming flow of data which has called for a paradigm shift in the computing …

Smart contracts (SC) run on blockchain technology (BCT) to implement agreements
between several parties. As BCT grows, organizations aim to automate their processes and …

What is the effect of programming languages on software quality? This question has been a
topic of much debate for a very long time. In this study, we gather a very large data set from …

Since the first edition of Stochastic Modelling for Systems Biology, there have been many
interesting developments in the use of" likelihood-free" methods of Bayesian inference for …

Continuous Delivery (CD) is a relatively new software development approach. Companies
that have adopted CD have reported significant benefits. Motivated by these benefits, many …

FDR3 is a complete rewrite of the CSP refinement checker FDR2, incorporating a significant
number of enhancements. In this paper we describe the operation of FDR3 at a high level …

In many projects, lexical preprocessors are used to manage different variants of the project
(using conditional compilation) and to define compile-time code transformations (using …

Emerging applications---cloud computing, the internet of things, and augmented/virtual
reality---demand responsive, secure, and scalable datacenter networks. These networks …

Writing accurate numerical software is hard because of many sources of unavoidable
uncertainties, including finite numerical precision of implementations. We present a …

Today many a Website features fancy graphics, well organized content, but rarely induces
the visitor to come back on a regular basis (with exceptions of course). The electronic …