Sciweavers

1438 search results - page 17 / 288
» Models for Trustworthy Service and Process Oriented Systems
Sort
View
JLP
2007
81views more  JLP 2007»
15 years 5 months ago
Service oriented computing from a process algebraic perspective
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
Mario Bravetti, Gianluigi Zavattaro
ICSEA
2008
IEEE
16 years 13 days ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
ICWS
2007
IEEE
15 years 7 months ago
Transactional Coordination of Dynamic Processes in Service-Oriented Environments
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
Martin Husemann, Michael Von Riegen, Norbert Ritte...
IEEESCC
2006
IEEE
16 years 1 days ago
Ontology Reconciliation for Service-Oriented Computing
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
Jingshan Huang, Jiangbo Dang, Michael N. Huhns
ECOWS
2009
Springer
16 years 18 days ago
Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
Ali Ibrahim, Marc Fisher II, William R. Cook, Eli ...