: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
Alexander Kozlenkov, George Spanoudakis, Andrea Zi...
This paper overviews a set of Performance Evaluation
ToolS (PETS) for zone segmentation and classification. The
tools allow researchers and developers to evaluate, optimize
and ...
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...