This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
This work has for objective building a simulation model to evaluate different alternatives of operation of a projected center for ambulatory surgery. For the construction of the m...
Francisco J. Ramis, Jorge L. Palma, Felipe F. Baes...
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by ...