1397 search results - page 87 / 280 » On the Need for Practical Formal Methods |
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
AFP
2008
Springer
14 years 3 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
FM
2003
Springer
14 years 2 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
ICFCA
2005
Springer
14 years 2 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
AIME
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...