1284 search results - page 88 / 257 » Abstract Processes in Orchestration Languages |
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—In this paper, we present a novel languageindependent algorithm for extracting text-lines from handwritten document images. Our algorithm is based on the seam carving ap...
INLG
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Although humans are the ultimate “natural language generators”, the area of psycholinguistic modeling has been somewhat underrepresented in recent approaches to Natur...
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...