3239 search results - page 358 / 648 » A Logical Process Calculus |
115
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
149
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Numerical homotopy continuation gives a powerful tool for the applied scientist who seeks solutions to a system of polynomial equations. Techniques from numerical homotopy continu...
140
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
135
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
153
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...