: Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) l...
Stefanie Rinderle-Ma, Manfred Reichert, Martin Jur...
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Abstract. In this paper, we present a framework for supporting intelligent fault and performance management for communication networks. Belief networks are taken as the basis for k...
This paper proposes a notion of presence which overcomes its strict interpretation in terms of physical projection and perception, and interprets ``the sense of being there'...
Stefania Bandini, Sara Manzoni, Fabrizio Nunnari, ...