857 search results - page 61 / 172 » Compositional Semantics in Verbmobil |
212
click to vote
CSSE
2008
IEEE
16 years 17 days ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
136
click to vote
CONEXT
2006
ACM
16 years 2 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
166
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
Grid has emerged as a new paradigm for integration within dynamic virtual enterprises. Given a service-oriented Grid environment, more complex, value-added sophisticated services a...
167
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
174
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...