Big data processing systems (eg, Hadoop, Spark, Storm) contain a vast number of
configuration parameters controlling parallelism, I/O behavior, memory settings, and …

The unbroken amplification of a versatile urban setup is challenged by huge Big Data
processing. Understanding the voluminous data generated in a smart urban environment for …

Big data: Everyone just talking about Big data, but what is meant by big data actually? How
is it changing the point of view in different fields such as researchers of the science or at …

At present, big data is very popular, because it has proved to be much successful in many
fields such as social media, E-commerce transactions, etc. Big data describes the tools and …

We present a comprehensive model of railway operations written in the active object
language ABS. The model is based on specifications taken from the rulebooks of Deutsche …

Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …

We present Crowbar, a deductive verification tool for the Active Object language ABS.
Crowbar implements novel specification approaches specifically for distributed systems. For …

Loosely-coupled distributed systems organized as collections of so-called cloud-native
microservices are able to adapt to traffic in very fine-grained and flexible ways. For this …

ABS is a language for behavioral modeling of distributed, time-and resource-sensitive
communicating systems. ABS is based on an executable actor-based semantics with …

Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …