Sciweavers

264 search results - page 7 / 53
» entcs 2008
Sort
View
ENTCS
2008
75views more  ENTCS 2008»
14 years 12 months ago
Intensional Properties of Polygraphs
Abstract
Guillaume Bonfante, Yves Guiraud
48
Voted
ENTCS
2008
69views more  ENTCS 2008»
14 years 12 months ago
A New Proposal for Debugging Datalog Programs
Rafael Caballero, Yolanda García-Ruiz, Fern...
61
Voted
ENTCS
2008
80views more  ENTCS 2008»
14 years 12 months ago
Locality of Corner Transformation for Multidimensional Spatial Access Methods
Ho-Kwok Dai, Kyu-Young Whang, Hung-Chi Su
ENTCS
2008
102views more  ENTCS 2008»
14 years 12 months ago
A Case Study in Parallel Verification of Component-Based Systems
Nikola Benes, Ivana Cerná, Jiri Sochor, Pav...