4286 search results - page 53 / 858 » Formalizing Service Interactions |
132
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
104
click to vote
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The emergence of large-scale online collaboration requires current information systems to be apprehended as service ensembles comprising human and software service entiti...
114
Voted
FORTE
2003
15 years 3 months ago
2003
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...
123
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...