The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Since the initial work on spatial statistical models developed in Bhattacharyya, Khalil and Richardson (1996), Basu and Reinsel (1993), Güyon (1995), Martin (1979, 1990, 1996), Ja...
In this paper, the problem of time series prediction is studied. A Bayesian procedure based on Gaussian process models using a nonstationary covariance function is proposed. Exper...
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...