1222 search results - page 221 / 245 » A Bayesian Approach to Model Checking Biological Systems |
135
click to vote
CLUSTER
2004
IEEE
15 years 5 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
110
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
120
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
122
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
219
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...