857 search results - page 43 / 172 » Compositional Semantics in Verbmobil |
168
click to vote
IEEESCC
2006
IEEE
16 years 3 days ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
141
click to vote
SEKE
1995
Springer
15 years 9 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
175
click to vote
FMCO
2009
Springer
15 years 3 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
159
click to vote
AI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
153
click to vote
HICSS
2009
IEEE
16 years 27 days ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...