2558 search results - page 337 / 512 » Model Composition Contracts |
144
click to vote
PDSE
1998
15 years 6 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
113
click to vote
COLING
1990
15 years 5 months ago
1990
2 This paper analyzes the structural features of naturally-occurring extended explanations and argues that current generation methodologies are inadequate for determining high-leve...
136
Voted
AIPS
2009
15 years 5 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
122
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
128
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
An audio recording is subject to a number of possible distortions and artifacts. For example, the persistence of sound, due to multiple reflections from various surfaces in a roo...