5255 search results - page 304 / 1051 » Formal Methods for Privacy |
110
click to vote
MOC
2010
14 years 11 months ago
2010
Following a paper of R. Robinson, we classify all hyperbolic polynomials in one variable with integer coefficients and span less than 4 up to degree 13, and with some additional h...
129
click to vote
MOC
2010
14 years 11 months ago
2010
We present an algorithm to determine if the L-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree...
137
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
127
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
127
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...