Sciweavers

31387 search results - page 51 / 6278
» Abstracts
Sort
View
ZUM
2000
Springer
14 years 1 months ago
Playing with Abstraction and Refinement for Managing Features Interactions
with abstraction and refinement for managing features interactions A methodological approach to feature interaction problem Dominique Cansell and Dominique M
Dominique Cansell, Dominique Méry
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
13 years 12 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
BCS
2008
13 years 11 months ago
Object representatives: a uniform abstraction for pointer information
on Abstraction Implementation Related Work and Conclusion Object representatives: a uniform ion for pointer information Eric Bodden, Patrick Lam and Laurie Hendren September 2008 ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
FORTE
2010
13 years 11 months ago
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
Ananda Basu, Saddek Bensalem, Marius Bozga, Beno&i...
ADBIS
2010
Springer
333views Database» more  ADBIS 2010»
13 years 11 months ago
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
Aleksandar Dimovski, Goran Velinov, Dragan Sahpask...