10072 search results - page 133 / 2015 » Composition of Model Programs |
121
Voted
JWSR
2007
15 years 2 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
101
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
127
Voted
ECOWS
2009
Springer
15 years 9 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
126
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
143
Voted
BIS
2007
15 years 4 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...