The characteristics of high mobility and rapid topology change of the Vehicle Ad Hoc
Network (VANET) makes it vulnerable to various malicious attacks. The adversary utilizes …

In a distributed heterogeneous fog environment, fog nodes may change their state at any
time. Their reliability changes accordingly. A dynamic analysis of state changes can help …

Abstract Nowadays, the Internet of Things (IoT) allows monitoring and automation in diverse
contexts, such as hospitals, homes, or even smart cities, just to name a few examples. IoT …

Value models have been employed in value-based requirements engineering (RE) to
express value exchange relations between stakeholders. The value chain of crossover …

The correctness of workflow systems is dependent on not only their control-flows but also
their data-flows. WFD-nets (Workflow net with data) can model both control-flow and data …

Application providers (APs) leave their application hosting to cloud with the aim of reducing
infrastructure purchase and maintenance costs. However, variation in the arrival rate of user …

Many operations in workflow systems are dependent on database tables. The classical
workflow net and its extensions (eg, worflow net with data) cannot model these operations …

The cloud environment is used by the application providers (APs) to host their applications
in order to reduce procurement and management costs of the cloud resources. Moreover …

In order to guarantee the correctness of workflow systems, it is necessary to check their data-
flow errors, eg, missing data, inconsistent data, lost data and redundant data. The traditional …

Accepted: 5 January 2019 The selection of intelligent logistics service model has become an
important factor in the competition of the entire social logistics industry. Using the …