Emerging blockchain technology is a promising platform for implementing smart contracts.
But there is a large class of applications, where blockchain is inadequate due to …

We consider in this paper how to leverage heterogeneous mobile computing capability for
efficient processing of real-time range-monitoring queries. In our environment, each mobile …

Business process modeling is a way to the organizational change management, which
provides abstract workflows to describe business logics for customer demands analysis and …

Q&A websites rely on user-generated responses, with incentives such as reputation scores
or monetary rewards often offered. While some users may find it intrinsically rewarding to …

Despite the great benefits of cloud computing on businesses, some organizations have had
to withdraw from its service due to incomplete compliance to conditions from standards …

Cloud-based Software-as-a-Service (SaaS) providers want to grow into the space of
business process outsourcing (BPO). BPO refers to the systematic and controlled delegation …

Today's business entities face an ever-growing number of laws and regulations due to
recent high profile business scandals and failures. Small and medium scale enterprises …

Internet, Cloud, and IoT (Internet of Things) based business relationships involve electronic
interactions that are normally regulated using Service Level Agreements (SLAs), and …

A smart contract is a translation of a standard paper-based contract that can be enforced and
executed by a contract management system. At a high level of abstraction, a contract is only …

BPMN model is used in software development process that the procedural logics of software
are described in term of graphical representation. Formal verification using colored Petri net …