We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly intera...

In an embedded system including a base processor integrated with a tightly coupled accelerator, extracting frequently executed portions of the code (hot portion) and executing their corresponding data flow graph (DFG) on the accelerator brings about more speedup. In this paper, we intend to present our motivations for handling control instructions in DFGs and extending them to Control DFGs (CDF...

This demo illustrates WS-GEN, a tool supporting the automated composition of web services. WS-GEN takes as input the description of a set of available services and a “business requirement” describing the goal of the composed service, and automatically generates the executable code implementing the new composed service.

Many tasks in smart environments can be implemented using message based communication paradigms that decouple applications in time, space, synchronization and semantics. Current solutions for decoupled message based communication either do not support message processing and thus semantic decoupling or rely on clearly defined network structures. In this paper we present ASP, a novel concept for ...

2 The distributed model for the servers 6 2.1 The Server Node Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.1 GES Contexts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.1.2 Gatekeepers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.1.3 The addressing scheme . . . . . . . . . . . . . . . . . . . . . . . ....

This essay is an initial exploration of the dimensions of the equity/sustainability linkage from the perspective of public goods analysis. Sustainability requires an abundance of public goods. Where these commons lack governance, sustainability is at risk. Equity is a critical component of sustainability that can itself be viewed as a public good, subject to deterioration (maldistribution) when...

In this paper, we describe how to solve Model A (finite number of countries complete markets) of the JEDC project by using a simulation-based Parameterized Expectations Algorithm (PEA). JEL classification : C6; C63; C68; C88

The memory organization of FFT processors is considered. The new memory addressing assignment allows simultaneous access to all the data needed for butterfly calculations. The advantage of this memory addressing scheme lies in the fact that it reduces the delay of address generation nearly by half compared to existing ones.

In this paper, we give some heuristics suggesting that if (un)n≥0 is the Lucas sequence given by un = (an − 1)/(a− 1), where a > 1 is an integer, then ω(un) ≥ (1 + o(1)) log n log log n holds for almost all positive integers n.

Zoonotic TB (M.bovis) is transmitted from animals to people. Mycobacterium tuberculosis responsible for the transmission of reverse zoonotic humans animals. Without sufficient proof, a few recommendations can be made regarding and transmission. The researchers aimed review meta-analysis risk variables bovine tuberculosis. Until May 2022, 13 published publications Pub-Med, Scopus, Web Science, G...