1139 search results - page 13 / 228 » A New View On The Process Of Translation |
206
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
155
click to vote
CPP
2011
14 years 5 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
181
click to vote
FOSSACS
2012
Springer
14 years 1 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
132
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
The need for video summarization originates primarily from a viewing time or a bit budget constraint. A shorter version of the original video sequence is desirable in a number of ...
177
click to vote
PE
2010
Springer
15 years 20 days ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...