857 search results - page 32 / 172 » Compositional Semantics in Verbmobil |
166
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
138
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
151
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
180
click to vote
ESWS
2007
Springer
16 years 5 days ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
157
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...