Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
In this paper we propose five heuristic procedures for the solution of the multiple competitive facilities location problem. A franchise of several facilities is to be located in ...
This paper deals with optimal control problems of semilinear parabolic equations with pointwise state constraints and coupled integral state-control constraints. We obtain necessar...
The new strategy for non-uniform initial FE mesh generation is presented in this paper. The main focus is set to a priori procedures that define the sizing function independent on ...