112 search results - page 23 / 23 » What Can Formal Methods Bring to Systems Biology |
WWW
2008
ACM
14 years 5 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...