Abstract. The modelling of landscape environment is a cognitive activity, that still requires novel kinds of spatial representations. This paper introduces a structural categorisat...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
Kamil Kuliberda, Jacek Wislicki, Radoslaw Adamus, ...
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...