Sciweavers

31387 search results - page 144 / 6278
» Abstracts
Sort
View
VMCAI
2007
Springer
16 years 17 days ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth
VMCAI
2007
Springer
16 years 17 days ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She
DASFAA
2006
IEEE
141views Database» more  DASFAA 2006»
16 years 16 days ago
Dataspaces: A New Abstraction for Information Management
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...
Alon Y. Halevy, Michael J. Franklin, David Maier