Elasticity (on-demand scaling) of applications is one of the most important features of cloud
computing. This elasticity is the ability to adaptively scale resources up and down in order to …

Current methods that deal with concurrent workflow temporal violations only focus on
checking whether there are any temporal violations. They are not able to point out the path …

Background Hospitals nowadays have to serve numerous patients with limited medical staff
and equipment while maintaining healthcare quality. Clinical pathway informatics is …

In workflow management systems (WFMSs), time management plays an essential role in
controlling the lifecycle of business processes. Especially, run-time analysis of time …

Cyber-physical systems (CPS) represent an emerging type of distributed systems that
integrate a multitude of physical elements and software applications into large networks of …

In order to guarantee the successful execution of service processes in cloud computing, it is
important to dynamically optimise service processes with temporal constraints at runtime …

This paper presents a strongly fail safe interface which transforms binary signals, generated
by a system with error detection capabilities and eventually with fault tolerant capabilities …

In enterprises, timed compatibility (ie, temporal constraint satisfiability) have become an
important factor to guarantee the timely completion of service composition so that meet the …

Abstract In the Internet of Things (IoT) environment, real-time servers run with many
uncertain factors. The modeling and validation for the dynamic service composition of …

Recently, temporal constraint satisfiability is regarded as an important criterion in the field of
business process management. Existing methods do not fully investigate the various modes …