29082 search results - page 311 / 5817 » The Time-Triggered Model of Computation |
168
click to vote
TCC
2007
Springer
16 years 23 days ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
177
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
173
click to vote
DGCI
2005
Springer
16 years 6 days ago
2005
Springer
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
153
click to vote
EVOW
2003
Springer
15 years 12 months ago
2003
Springer
One of the problems in the use of evolutionary computer systems in artistic tasks is the lack of artificial models of human critics. In this paper, based on the state of the art an...
162
click to vote
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
Simulations using a computer model the Evolution Of Culture (EVOC) indicate that the clustering of creative agents decreases the mean fitness of ideas in the short term (when imit...