Sciweavers

2694 search results - page 293 / 539
» A Description Logic of Change
Sort
View
WADT
2004
Springer
15 years 12 months ago
Modelling Mobility with Petri Hypernets
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...
FASE
2001
Springer
15 years 11 months ago
A Real-Time Execution Semantics for UML Activity Diagrams
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...
Rik Eshuis, Roel Wieringa
ECSA
2008
Springer
15 years 8 months ago
Transition to Service-Oriented Enterprise Architecture
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...
Martin Assmann, Gregor Engels
SYRCODIS
2008
104views Database» more  SYRCODIS 2008»
15 years 8 months ago
Search Request Routing in Bittorrent and other P2P based File Sharing Networks
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...
Konstantin Scherbakov
BXML
2003
15 years 8 months ago
V-Grid-A Versioning Services Framework for the Grid
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
Jernej Kovse, Theo Härder