CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
Most e-commerce applications require the collection and storing of information about customers. As a consequence, the performed transactions involve legal issues. For two years, t...
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
: It oftcn makes sense to employ both text and pictures wheu referring to world objects. In this paper, we present a model for referring which is based on the assumption that conce...
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...