The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
Renata S. S. Guizzardi, Giancarlo Guizzardi, Jo&at...
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...