Sciweavers

12745 search results - page 143 / 2549
» Automating test automation
Sort
View
DLOG
2009
15 years 6 months ago
Open and Closed World Assumptions in Data Exchange
Leonid Libkin, Cristina Sirangelo
DLOG
2009
15 years 6 months ago
Unification in the Description Logic EL
Franz Baader, Barbara Morawska
CL
2010
Springer
15 years 5 months ago
Program transformations for information personalization
Saverio Perugini, Naren Ramakrishnan
CL
2010
Springer
15 years 5 months ago
Non-repudiation analysis using LySa with annotations
Mayla Brusò, Agostino Cortesi