2702 search results - page 153 / 541 » Practically Applicable Formal Methods |
102
Voted
KR
2004
Springer
15 years 3 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
83
Voted
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
CMSB
2008
Springer
15 years 9 hour ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...