6025 search results - page 849 / 1205 » Flexibility in Service Processes |
180
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
212
click to vote
ICSOC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
147
click to vote
DAS
2004
Springer
16 years 6 days ago
2004
Springer
Companies order, receive, and pay for goods. Hence they continually receive and process invoices. For the most part these are printed on paper and are dealt with manually, so that ...
181
click to vote
EWSA
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
181
click to vote
KES
2004
Springer
16 years 5 days ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...