As the basis of the Internet of Things (IoT), sensor networks have materialized its
computation and communication capability into anything in our modern lives. Service …

Virtualization has been widely adopted in recent years in the cloud computing platform to
improve server consolidation and reduce operating cost. Virtual Machine (VM) …

The growing amount of scientific data from sensors and field observations is posing a
challenge to¿ data valets¿ responsible for managing them in data repositories. These …

Recently, scientific workflows have emerged as a platform for automating and accelerating
data processing and data sharing in scientific communities. Many scientific workflows have …

In this paper, we design and implement a scientific workflow process designer with a
conceptual building block depicting its architectural structure. The designer is theoretically …

In this paper, we propose a formal description for representing the scientific workflow model
supporting process-driven scientific behaviors in data intensive experiment procedures and …

In this paper the finite state machines are defined and formalized. There are presented the
collaborative banking systems and their correspondence is done with finite state machines …

The pervasive availability of scientific data from sensors and field observations is posing a
challenge to data valets responsible for accumulating and managing them in data …

We present an approach for building calling context information useful for program
understanding, performance analysis and optimizations. Our approach exploits a lightweight …

Information flow control consists of planning the interactions of services in order to satisfy
different security restrictions concerning the propagation of information in a composition …