9997 search results - page 100 / 2000 » The case for crowd computing |
ASM
1998
ASM
15 years 2 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
AFRIGRAPH
2009
ACM
15 years 4 months ago
2009
ACM
This paper investigates the digital reconstruction of destroyed buildings from small sets of old, uncalibrated photographs. The application domain is the heritage preservation of ...
ENTCS
2006
14 years 10 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
100
click to vote
ALIFE
2005
14 years 9 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
IEEESCC
2006
IEEE
15 years 3 months ago
2006
IEEE
Current business process development is a process that needs to apply software development principles and at the same time incorporate the special requirements of service oriented...