Sciweavers

31387 search results - page 51 / 6278
» Abstracts
Sort
View
ZUM
2000
Springer
15 years 5 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»
15 years 4 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
15 years 3 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
15 years 3 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»
15 years 3 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...