1164 search results - page 67 / 233 » Type based service composition |
121
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
126
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
125
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
147
Voted
PDP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...