2797 search results - page 348 / 560 » Control Structures |
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Saori is a computation infrastructure that enables users and enduser applications to leverage social networks to mediate information dissemination. Saori provides users with aware...
109
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
137
click to vote
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
In this demo, we present the use of the ARIA platform for modular design of media processing and retrieval applications. ARIA is a middleware for describing and executing media pro...
129
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The frameworks for protecting security and privacy can be effective only if common users--with no training in computer science or logic--increase their awareness and cont...
161
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...