Workflow Modelling in Grid System for Satellite Data Processing

This paper focuses on a problem of Grid system decomposition by developing its object model. Unified Modelling Language (UML) is used as a formalization tool. This approach is motivated by the complexity of the system being analysed and the need for simulation model design.

An Expansion Formula for Fractional Derivatives and its Application

An expansion formula for fractional derivatives given as in form of a series involving function and moments of its k-th derivative is derived. The convergence of the series is proved and an estimate of the reminder is given. The form of the fractional derivative given here is especially suitable in deriving restrictions, in a form of internal variable theory, following from the second law of thermodynamics, when applied to linear viscoelasticity of fractional derivative type.

On Multidimensional Analogue of Marchaud Formula for Fractional Riesz-Type Derivatives in Domains in R^n

2000 Mathematics Subject Classification: 26A33, 42B20

The Design and Analysis of Context-Aware, Secure Workflow Systems

Workflows are set of activities that implement and realise business goals. Modern business goals add extra requirements on workflow systems and their management. Workflows may cross many organisations and utilise services on a variety of devices and/or supported by different platforms. Current workflows are therefore inherently context-aware. Each context is governed and constrained by its own policies and rules to prevent unauthorised participants from executing sensitive tasks and also to prevent tasks from accessing unauthorised services and/or data. We present a sound and multi-layered design language for the design and analysis of secure and context aware workflows systems.

On Y. Nievergelt's Inversion Formula for the Radon Transform

Mathematics Subject Classification 2010: 42C40, 44A12.

Critical Exponents of Semilinear Equations via the Feynman-Kac Formula

2000 Mathematics Subject Classification: 60H30, 35K55, 35K57, 35B35.

Automated Assessment Through Integration of Heterogeneous Systems with a Workflow Engine

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2015

The Legendre Formula in Clifford Analysis

2000 Mathematics Subject Classification: 30A05, 33E05, 30G30, 30G35, 33E20.