454 search results - page 50 / 91 » Modeling and analysis of multi-agent systems using petri net... |
139
click to vote
FORTE
2004
15 years 5 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
145
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
151
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
128
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
187
click to vote
CPE
1994
Springer
15 years 8 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...