7918 search results - page 106 / 1584 » Model Composition Directives |
86
Voted
MCM
2011
14 years 7 months ago
2011
ENTCS
2008
15 years 22 days ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...
103
click to vote
IEEESCC
2005
IEEE
15 years 6 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 ...
106
click to vote
ICWS
2004
IEEE
15 years 2 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...
99
Voted
ACII
2007
Springer
15 years 6 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...