Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw P...
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
Enterprise Architecture (EA) has undergone many changes since the IT has found its way into enterprises. At the moment the Service-Oriented Architecture (SOA) is being hyped but ha...
Existing p2p file sharing networks doesn't always give their users abilities to make an effective and fast searches for particular data. In this paper we introduce some impro...
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...