2502 search results - page 430 / 501 » Using probabilistic model checking in systems biology |
101
click to vote
KI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
105
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
109
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
206
click to vote
NAR
2011
14 years 6 months ago
2011
The Hymenoptera Genome Database (HGD) is a comprehensive model organism database that caters to the needs of scientists working on insect species of the order Hymenoptera. This sy...
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...