1728 search results - page 244 / 346 » Formal Modeling of Process Migration |
102
click to vote
AIPS
2008
15 years 3 months ago
2008
We consider the problem of cooperative multiagent planning under uncertainty, formalized as a decentralized partially observable Markov decision process (Dec-POMDP). Unfortunately...
131
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
118
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
128
click to vote
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
112
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...