6317 search results - page 923 / 1264 » System Support for Pervasive Applications |
231
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
192
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Photoshop with Friends is an online community of learners exchanging just-in-time help on graphic design tasks. The system attempts to provide an interactive, visual, context-awar...
179
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...
285
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
While database management systems offer a comprehensive solution to data storage, they require deep knowledge of the schema, as well as the data manipulation language, in order to...
193
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...