7918 search results - page 304 / 1584 » Model Composition Directives |
152
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
124
click to vote
STOC
1994
ACM
15 years 8 months ago
1994
ACM
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...
129
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
110
click to vote
JUCS
2008
15 years 4 months ago
2008
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...