A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....