5699 search results - page 1058 / 1140 » Alternating model trees |
166
click to vote
TPHOL
2007
IEEE
16 years 14 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
156
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
201
click to vote
ISBRA
2007
Springer
16 years 10 days ago
2007
Springer
Proteins are large organic compounds made of amino acids arranged in a linear chain (primary structure). Most proteins fold into unique threedimensional (3D) structures called inte...
141
click to vote
OOPSLA
2007
Springer
16 years 10 days ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
150
click to vote
TCC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...