In computer and network security, standard approaches to intrusion detection and response
attempt to detect and prevent individual attacks. However, it is not the attack but rather the …

Web service (WS) providers need to restrain access to private information when cooperating
with business partners. This need is translated in practice by an abstraction phase where …

BPMN collaboration models are commonly used to describe the behaviour and interactions
of processes in an inter-organisational context. An important role in this kind of models is …

Many natural objects, and in particular layered materials, have non-linear reflection behavior
along the wavelengths. An accurate representation of phenomena such as interference and …

Abstract Business Process Management communities increasingly adopt the blockchain
technology to support trustworthy decentralized execution of processes. In this context, the …

Composition of Cloud services is necessary when a single component is unable to satisfy all
the user's requirements. It is a complex task for Cloud managers which involves several …

Abstract The Internet of Things (IoT) integrates a large number of pervasive things that
continuously generate data about the physical world. While such generated data can be …

The design of complex inter-enterprise business processes (IEBP) is generally performed in
a modular way. Each process is designed separately and then the whole IEBP is obtained …

For automatically composing Web services in a correct manner, information about their
behaviors (an abstract model) has to be published in a repository. This abstract model must …

Abstract Model checking is a powerful and widespread technique for the verification of finite
distributed systems. It takes as input a formal model of a system and a formal specification …