2558 search results - page 101 / 512 » Model Composition Contracts |
124
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
135
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
Currently web services composition problems are addressed using AI planning techniques . The team-based approach, with emphases on the sharing of mental models and proactive colla...
124
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Artists use words, lines, shapes, color, sound and their bodies to express emotions. Virtual humans use postures, gestures, face and voice to express emotions. Why are th...
121
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
131
click to vote
WDAG
2001
Springer
2001
Springer
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
15 years 8 months ago
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...