29152 search results - page 288 / 5831 » A Model of Computation for MapReduce |
180
click to vote
SP
2006
IEEE
16 years 22 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 7 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...
154
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...
163
Voted
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...
167
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...