1728 search results - page 186 / 346 » Formal Modeling of Process Migration |
118
click to vote
NAACL
2010
15 years 28 days ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
115
click to vote
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
110
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
119
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
137
click to vote
IHIS
2005
ACM
15 years 8 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...