353 search results - page 35 / 71 » Compositional specification of behavioral semantics |
IJVR
2008
13 years 10 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
SWAP
2008
13 years 11 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...