5202 search results - page 659 / 1041 » A Survey of Human Computation Systems |
168
click to vote
COORDINATION
2005
Springer
16 years 12 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
202
click to vote
DSVIS
2005
Springer
16 years 12 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
175
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
175
click to vote
PERVASIVE
2005
Springer
16 years 11 days ago
2005
Springer
Audio location is a technique for performing accurate 3D location sensing using off-the-shelf audio hardware. The use of off-the-shelf hardware allows audio location deployment to ...
174
click to vote
EDCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...