292 search results - page 30 / 59 » Objects Shared by Byzantine Processes |
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We present a computational model of creative design based on collaborative interactive genetic algorithms. We test our model on floorplanning. We guide the evolution of floor...
DOCENG
2009
ACM
14 years 3 months ago
2009
ACM
In order to evaluate the performance of information retrieval and extraction algorithms, we need test collections. A test collection consists of a set of documents, a clearly form...
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
Sensorial interfaces are based on augmenting existing physical objects with digital information. We propose sensorial activity theory to relate mu...
NSF
2001
Springer
14 years 1 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
FM
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...