237 search results - page 5 / 48 » Toward Verified Biological Models |
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
APBC
2003
13 years 11 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...
COMPGEOM
2007
ACM
14 years 1 months ago
2007
ACM
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...
CMSB
2004
Springer
14 years 3 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
ENTCS
2007
13 years 9 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...