Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, it is necessary to become able to anticipate these problems. The proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on enterprise models. Due to the conceptual limits...

In this study elements of validation of headspace GC method of determination of residual methanol, n-pentane, ethanol, tert-butylamine, 2propanol, acetonitrile, dichloromethane and toluene in pharmaceutical substance are presented. Validation of the method included: selectivity, system precision, method precision, accuracy (recovery), limits of detection and quantitation (in substance), robustn...

The classic system software structure that hides implementation details behind an interface specification limits the effectiveness important paradigms. For example, distributed shared memory has long been recognized as a promising, but flawed, approach to distributed cooperation. The problem is that its optimal implementation depends heavily on the application interaction specifics. π is a new ...

The general theory of a massless fermion coupled to a massive vector meson in two dimensions is formulated and solved to obtain the complete set of Green's functions. Both vector and axial vector couplings are included. In addition to the boson mass and the two coupling constants, a coefficient which denotes a particular current definition is required for a unique specification of the model. Th...

Interactive multimedia presentations are an essential issue in many advanced multimedia application tools. Before presenting multimedia data, media items, interaction types and synchronization constraints have to be specified in a multimedia document. This paper identifies and classifies the temporal interaction types in multimedia systems, and shows their impact on the specification process an...

Normal form games are nearly compact and continuous (NCC) if they can be understood as games played on strategy spaces that are dense subsets of the strategy spaces of larger compact games with jointly continuous payoffs. There are intrinsic algebraic, measure theoretic, functional analysis, and finite approximability characterizations of NCC games. NCC games have finitely additive equilibria, ...

Design patterns are reuse artifacts meant to improve the quality of software designs as well as the productivity of designers. Patterns (and their relationships) are mostly described in an informal fashion which leads to ambiguity and limits tools support. This has worsened with the growing number of well-established and candidate patterns. This paper discusses how to formally specify the "solu...

This paper studies a production system where products are produced continuously and whose specification limits are specified for screening inspection. This paper considers different costs associated with a quality characteristic that falls below a lower screening limit, or above an upper screening limit. Due to these different costs, the expected total profit will greatly depend on the process ...