This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
In the Neural Networks approach by Radial Basis Function - RBF, the property of interpolation between faces, their variation, and the diversity of faces helps to minimize the outp...
Antonio C. Zimmermann, L. S. Encinas, L. O. Marin,...
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
In this paper, we present an approach for producing interoperable metadata by mapping metadata structures of application profiles into standard metadata structures. As a study cas...
Jehad Najjar, Erik Duval, Stefaan Ternier, Filip N...
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...