2730 search results - page 364 / 546 » An Abstract Model for Process Mediation |
159
click to vote
ESANN
2007
15 years 7 months ago
2007
Abstract. Several models have been proposed for spatio-temporal selforganization, among which the TOM model by Wiemer [1] is particularly promising. In this paper, we propose to ad...
192
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
229
click to vote
MKWI
2008
15 years 7 months ago
2008
Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
165
click to vote
TAP
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
151
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...