1397 search results - page 145 / 280 » On the Need for Practical Formal Methods |
134
click to vote
DLOG
2010
15 years 2 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
126
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
Bayesian MLP neural networks are a flexible tool in complex nonlinear problems. The approach is complicated by need to evaluate integrals over high-dimensional probability distri...
144
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
We describe algorithmic results for two crucial aspects of allocating resources on computational hardware devices with partial reconfigurability. By using methods from the field of...
127
click to vote
ETRICS
2006
15 years 8 months ago
2006
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
143
click to vote
CACM
2010
15 years 4 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...