2024 search results - page 151 / 405 » A Formal Model of Multi-agent Computations |
126
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
125
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
133
click to vote
IJPP
2010
15 years 2 months ago
2010
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
120
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...