857 search results - page 131 / 172 » Compositional Semantics in Verbmobil |
164
click to vote
ICLP
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
153
click to vote
SEFM
2006
IEEE
16 years 2 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
164
click to vote
SEW
2006
IEEE
16 years 2 days ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
155
click to vote
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
151
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Repairing a database means making the database consistent by applying changes that are as small as possible. Nearly all approaches to repairing have assumed deletions and insertion...