Sciweavers

CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 11 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
GVD
2004
111views Database» more  GVD 2004»
14 years 28 days ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
QSIC
2005
IEEE
14 years 5 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
ICPR
2008
IEEE
15 years 22 days ago
Asymmetric post-processing for stereo correspondence
This paper presents a novel approach that performs post-processing for stereo correspondence. We improve the performance of stereo correspondence by performing consistency check a...
Dong Bo Min, Juhyun Oh, Kwanghoon Sohn