11740 search results - page 125 / 2348 » More Problems in Rewriting |
108
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
116
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
109
click to vote
ICFEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
121
Voted
TSE
2010
14 years 11 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
91
Voted
AH
2004
Springer
15 years 6 months ago
2004
Springer
: This paper presents an evaluation study that compares two different problem selection strategies for an Intelligent Tutoring System (ITS). The first strategy uses static problem ...