2702 search results - page 153 / 541 » Practically Applicable Formal Methods |
132
click to vote
KR
2004
Springer
15 years 7 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...
109
click to vote
TPHOL
1996
IEEE
15 years 6 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 ...
113
click to vote
APLAS
2007
ACM
15 years 6 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...
111
click to vote
CMSB
2008
Springer
15 years 4 months 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...
121
Voted
KDD
2004
ACM
16 years 2 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...