Sciweavers

3908 search results - page 224 / 782
» A model for service-oriented communication systems
Sort
View
WSC
2008
15 years 9 months ago
A generic framework for real-time discrete event simulation (DES) modelling
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
Siamak Tavakoli, Alireza Mousavi, Alexander Komash...
DALT
2004
Springer
16 years 2 days ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
BPM
2007
Springer
211views Business» more  BPM 2007»
15 years 10 months ago
Towards a Reference Process Model for Event Management
Events are becoming more and more important for companies as an instrument of marketing communication. Event management is an interdisciplinary task field, addressed in the most di...
Oliver Thomas, Bettina Hermes, Peter Loos
ECEASST
2008
91views more  ECEASST 2008»
15 years 6 months ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner
INFORMATICALT
2010
110views more  INFORMATICALT 2010»
15 years 3 months ago
From XML to Relational Models
For many businesses and organizations, the achievement of interoperability has proven to be a highly desirable goal. However, without efficient schema mapping mechanisms or models ...
Elena Castro, Dolores Cuadra, Manuel Velasco