1954 search results - page 106 / 391 » Modelling Coordination in Biological Systems |
174
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
127
click to vote
UIST
1996
ACM
15 years 10 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
196
click to vote
IDEAS
1997
IEEE
15 years 10 months ago
1997
IEEE
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
139
click to vote
AIMSA
2008
Springer
16 years 23 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
175
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...