2024 search results - page 62 / 405 » A Formal Model of Multi-agent Computations |
76
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
109
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
106
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
104
Voted
ISPDC
2003
IEEE
15 years 4 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...