Ordinal classification is a form of multi-class classification where there is an inherent ordering between the classes, but not a meaningful numeric difference between them. Althou...
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluatio...
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...