1906 search results - page 273 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
144
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
148
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
130
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
We report on our experiences of introducing an instant messaging and group chat application into geographically distributed workgroups. We describe a number of issues we encounter...
132
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Web Service Resource Framework (WSRF) was announced in January 2004 as a new way for manipulating "stateful resources" to perform grid computing tasks using Web Serv...
155
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Social network-based Sybil defenses exploit the trust exhibited in social graphs to detect Sybil nodes that disrupt an algorithmic property (i.e., the fast mixing) in these graphs...