Sciweavers

1083 search results - page 30 / 217
» On the Use of Behavioural Equivalences for Web Services' Dev...
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
13 years 8 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 8 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
BPM
2006
Springer
113views Business» more  BPM 2006»
14 years 6 days ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...
IJDSST
2010
107views more  IJDSST 2010»
13 years 5 months ago
Using the Rhizomer Platform for Semantic Decision Support Systems Development
Decision support systems get more useful as they manage to make decisions more informed. However, the cost of information and of combining and making it available in the appropriat...
Roberto García
IADIS
2004
13 years 9 months ago
Towards interoperability of wireless services - a description model of service interfaces
Web services are evolving quickly in terms of standardization. Technology and wireless networks exact requirements upon web services used via wireless connections, such as mobile ...
Anne Immonen, Jarkko Holappa, Päivi Kallio, J...