Sciweavers

1438 search results - page 28 / 288
» Models for Trustworthy Service and Process Oriented Systems
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
Mirco Tribastone, Philip Mayer, Martin Wirsing
ITCC
2005
IEEE
15 years 11 months ago
An Analysis of Notification Related Specifications for Web/Grid Applications
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...
Shrideep Pallickara, Geoffrey Fox
SOSE
2008
IEEE
16 years 16 days ago
A Framework for Agent-Based Service-Oriented Modelling
Service-oriented computing is becoming a direction of computing technology. For realising the mission of serviceoriented computing, service-oriented architecture has been proposed...
Zhi Jin, Hong Zhu
FMICS
2007
Springer
16 years 10 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
ECIS
2003
15 years 7 months ago
E-negotiations: towards engineering of technology-based social processes
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
Gregory E. Kersten