Sciweavers

699 search results - page 39 / 140
» mc 2008
Sort
View
156
Voted
POPL
2008
ACM
16 years 23 days ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
SIGCSE
2008
ACM
109views Education» more  SIGCSE 2008»
15 years 11 days ago
Student understanding of object-oriented programming as expressed in concept maps
Kate Sanders, Jonas Boustedt, Anna Eckerdal, Rober...
KDD
2008
ACM
119views Data Mining» more  KDD 2008»
16 years 26 days ago
A unified approach for schema matching, coreference and canonicalization
Michael L. Wick, Khashayar Rohanimanesh, Karl Schu...
NDSS
2008
IEEE
15 years 6 months ago
Realizing Massive-Scale Conditional Access Systems Through Attribute-Based Cryptosystems
Patrick Traynor, Kevin R. B. Butler, William Enck,...