Sciweavers

1000 search results - page 122 / 200
» Analysis of communication models in web service compositions
Sort
View
WWW
2008
ACM
14 years 8 months ago
Personalized web exploration with task models
Personalized Web search has emerged as one of the hottest topics for both the Web industry and academic researchers. However, the majority of studies on personalized search focuse...
Jae-wook Ahn, Peter Brusilovsky, Daqing He, Jonath...
ICMAS
1998
13 years 9 months ago
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
Jacques Ferber, Olivier Gutknecht
PACT
2001
Springer
14 years 7 days ago
Web-Based Parallel Simulation of AGVs Using Java and JINI
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
Rong Ye, Wen-Jing Hsu, Zehua Liu
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 5 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 2 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...