This paper discusses the background and results of a research project which was conducted by ENISA (European Network and Information Security Agency) in cooperation with the BOC Information Technologies Consulting GmbH. The project was initiated with respect to the main task of ENISA: ensuring a high and effective level of network and information security within organisations in the European Un...

Over the last 20 years an operational view of program execution based on rewriting has become widespread. In this view, a program is seen as a term in some calculus, and program execution is modeled by stepwise rewriting of the term according to the rules of the calculus. The operational semantics still has to be complemented with a logic for program verification and a collection of laws of pro...

In this paper we propose a logical foundation of processes and their focused normal forms. We use a linear meta-language based on substructural operational semantics to describe focused forms of processes, and compare them to standard π-calculus processes with their respective operational semantics. The overall goal of this research is to understand how to reason about processes, multiparty com...

conclusions the present research demonstrated that the ultrasonic (us) process can be utilized as an effective and simple method for treatment of mg dye in an aqueous solution. moreover, the eeo is directly proportional to the mg concentration and power density and inversely proportional to temperature and mechanical agitation, which can be predicted by the obtained empirical kinetics model. co...

Enterprise information systems support and control operational business processes ranging from simple internal back-office processes to complex interorganizational processes. Technologies such as WorkflowManagement (WFM), Enterprise Application Integration (EAI), Enterprise Resource Planning (ERP), and Web Services (WS) typically focus on the realization of IT support rather than monitoring the...

Service processes, for example in transportation, telecommunications or the health sector, are the backbone of today’s economies. Conceptual models of such service processes enable operational analysis that supports, e.g., resource provisioning or delay prediction. Automatic mining of such operational models becomes feasible in the presence of event-data traces. In this work, we target the mini...

review the literature of conservatism in financial reporting indicates the importance of conservatism in accounting profession. researchers have always tried to determine the degree and ways of conservatism in financial reporting and accounting, although this is not done easily, because there is not a direct measure of conservatism. however, conservatism has been one of the key principles in ac...

Although many companies invest in the implementation of workflow systems to automate, streamline and improve their business processes, only few studies have investigated the actual impact such systems make on the organization. The aim of this paper is to present an overview of literature on the impact that these systems have on the operational processes and the organization in a broad sense; fr...