2446 search results - page 256 / 490 » Principles of dataspace systems |
210
click to vote
FUNGAMES
2010
15 years 6 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
148
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
256
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
159
click to vote
CHI
2009
ACM
15 years 12 months ago
2009
ACM
How is work created, assigned, and completed on large-scale, crowd-powered systems like Wikipedia? And what design principles might enable these federated online systems to be mor...
152
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...