Business Process Model and Notation (BPMN) is a de-facto standard for practitioners working in the Business Process Management (BPM) field. The BPMN standard [1] offers highlevel modeling constructs, such as subprocesses, events, data and message flows, lanes, and is widely used to model processes in various domains. Recently several BPMN-based process mining techniques [2, 3, 4] were introduce...

Most of the current Machine Translation systems are designed to translate a document sentence by sentence ignoring discourse information and producing incoherencies in the final translations. In this paper we present some documentlevel-oriented post-processes to improve translations’ coherence and consistency. Incoherences are detected and new partial translations are proposed. The work focuses...

ion

In the evolving service market there is a good chance for companies to update their IT environment or cut their IT costs by outsourcing some parts of their IT processes. This implies meeting the challenge of service quality. For common services this can be handled by changing the service provider. But this is not valid for enterprises that want to outsource rather complex and individually compo...

Software process appraisal is to assess whether an implemented software process complies with a process reference model. To conduct the appraisal, the appraisal team will request an organization to provide objective evidence reflecting practice implementation. Then such evidence will be examined, verified, and validated to generate appraisal results. This evidence collection process is done aft...

We examine level crossings of sample paths of queueing processes and investigate the conditions under which the limiting empirical distribution for the workload process exists and is absolutely continuous. The connection between the density of the workload distribution and the rate of downcrossings is established as a sample path result that does not depend on any stochastic assumptions. As a c...

Asynchronous circuits are increasingly proposed as an efficient circuit-level solution for Process Variability. Asynchronous circuits are self timed, which gives them the opportunity to be immune against all variability sources including process-variability. Moreover, asynchronous circuits gain interesting properties due to variability in terms of performance and power-consumption distribution....

In this paper we see an approach to hardware acceleration of register transfer level simulations that utilizes Virtual Machines (VMs) and Real Machines (RMs), each executing the same instruction set. Hardware Description Language code for digital designs can lend itself well to parallel execution, and we leverage that property by executing as many processes as possible in RMs in parallel. Since...

When there are insufficient inputs for a product-level approach to requirements elicitation, a process-level perspective is an alternative way for achieving the intended base requirements. We define a V+V process approach that supports the creation of the intended requirements, beginning in a process-level perspective and evolving to a product-level perspective trough successive models derivati...

In this paper, we prove a process-level, also known as level-3 large deviation principle for a very general class of simple point processes, i.e. nonlinear Hawkes process, with a rate function given by the process-level entropy, which has an explicit formula.