1438 search results - page 37 / 288 » Models for Trustworthy Service and Process Oriented Systems |
159
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
154
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
220
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
169
click to vote
BPM
2010
Springer
15 years 6 months ago
2010
Springer
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
147
click to vote
LCN
2006
IEEE
16 years 6 days ago
2006
IEEE
Group Multicast is becoming a prevalent issue in Network applications such as teleconferencing, payper-view, and information services. In order to secure group communications by p...