Sciweavers

12052 search results - page 48 / 2411
» computer 2010
Sort
View
CCS
2010
ACM
15 years 1 days ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh
EDBT
2010
ACM
138views Database» more  EDBT 2010»
15 years 1 days ago
Fast ELCA computation for keyword queries on XML data
Rui Zhou, Chengfei Liu, Jianxin Li