A new IEEE compliant floating-point rounding algorithm for computing the rounded product
from a carry-save representation of the product is presented. The new rounding algorithm is …

Massive parallel business workflows running in the cloud are prone to temporal violations
(namely intermediate runtime delays) due to various reasons such as service performance …

Utilization of cloud computing resources has made a fast growth in e‐business. Business
and government agencies often need to handle large volume of service requests, the so …

On-time completion is an important temporal QoS (Quality of Service) dimension and one of
the fundamental requirements for high-confidence workflow systems. In recent years, a …

Time and value throughputs reflect the actual workload and gross profit of enterprises over a
period of time, respectively. Both of them are of great importance to the operation of data …

On-time completion is an important QoS (Quality of Service) dimension for business cloud
workflow systems. Due to the dynamic and uncertain system performance, failures of on-time …

The characteristics of cloud computing such as on-demand provisioning of virtual machines
in a pay-as-you-go manner have attracted more and more scientific workflows deploying on …

Workflow temporal verification is conducted to guarantee on‐time completion, which is one
of the most important QoS (Quality of Service) dimensions for business processes running in …

Workflow temporal violations, namely, intermediate workflow runtime delays, often occur and
have a serious impact on the on‐time completion of massive concurrent requests. Therefore …

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 …