8828 search results - page 113 / 1766 » Formal methods in practice |
130
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...
148
click to vote
CISIS
2009
IEEE
15 years 11 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...
165
click to vote
AFP
2008
Springer
15 years 10 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...
122
click to vote
FM
2003
Springer
15 years 9 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...
127
click to vote
IJNSEC
2007
15 years 4 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...