Displaying similar documents to “Uninterruptable and Other Regions”

BPMN Analysis of Public Procurement

Semerdjieva, Maria, Krastev, Evgeniy (2012)

Serdica Journal of Computing

Similarity:

ACM Computing Classification System (1998): D.0, D.2.11. This paper formulates a realistic case study of a public procurement process, where the national legal system is taken in consideration. Business Process Modeling Notation (BPMN) is used for encoding processes related to the analysis of public procurement tasks. Critical elements in the public procurement process that affect time, quality and cost are identified at the organizational, process execution and system levels....

Parallel programming through schemes.

Alberto Llamosí (1984)

Qüestiió

Similarity:

Taking as a basis the underlying model of Ada language, but using a more syncretic notation, the main purpose of the present paper is to show how, given a problem in parallel programming, several solutions to it can be found systematically by direct or compound instantiation of two well characterized basic schemes which correspond to the general and somewhat dual situations of cooperation and competition.

Distributed objects for parallel numerical applications

Francoise Baude, Denis Caromel, David Sagnol (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Similarity:

The C++// language (pronounced C++ parallel) was designed and implemented with the aim of importing reusability into parallel and concurrent programming, in the framework of a mimd model. From a reduced set of rather simple primitives, comprehensive and versatile libraries are defined. In the absence of any syntactical extension, the C++// user writes standard C++ code. The libraries are themselves extensible by the final users, making C++// an open system. Two specific techniques to...

Formal Methods to Improve Public Administration Business Processes

Andrea Polini, Andrea Polzonetti, Barbara Re (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Starting from late 90’s the public administration has started to employ a quite relevant amount of its budget in developing ICT solutions to better deliver services to citizens. In spite of this effort many statistics show that the mere availability of ICT based services does not guarantee per se their usage. Citizens have continued to largely access services through “traditional” means. In our study we suggest that the highlighted situation is partly due to the fact that relevant domain...

Formal Methods to Improve Public Administration Business Processes

Andrea Polini, Andrea Polzonetti, Barbara Re (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

Starting from late 90’s the public administration has started to employ a quite relevant amount of its budget in developing ICT solutions to better deliver services to citizens. In spite of this effort many statistics show that the mere availability of ICT based services does not guarantee per se their usage. Citizens have continued to largely access services through “traditional” means. In our study we suggest that the highlighted situation...

A DEA model for two-stage parallel-series production processes

Alireza Amirteimoori, Feng Yang (2014)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

Data envelopment analysis (DEA) has been widely used to measure the performance of the operational units that convert multiple inputs into multiple outputs. In many real world scenarios, there are systems that have a two-stage network process with shared inputs used in both stages of productions. In this paper, the problem of evaluating the efficiency of a set of specialized and interdependent components that make up a large DMU is considered. In these processes the first stage consists...