10072 search results - page 130 / 2015 » Composition of Model Programs |
102
Voted
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
129
Voted
ENTCS
2006
15 years 2 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
117
Voted
ENTCS
2008
15 years 2 months 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...
116
Voted
IEEESCC
2005
IEEE
15 years 8 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 ...
123
click to vote
ICWS
2004
IEEE
15 years 4 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...