7623 search results - page 1319 / 1525 » Constructive Volume Modeling |
113
click to vote
SIGMOD
1989
ACM
15 years 7 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
134
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we describe our experience in integrating the RIM's BlackBerry handheld wireless device into programming and literacy courses at the University of Guelph and th...
140
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Blogs are a new form of internet phenomenon and a vast everincreasing information resource. Mining blog files for information is a very new research direction in data mining. We p...
129
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
137
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...