Sciweavers

2957 search results - page 357 / 592
» Processing Self Corrections
Sort
View
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 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
DCG
2010
53views more  DCG 2010»
15 years 6 months ago
A Revision of the Proof of the Kepler Conjecture
Abstract. The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. Th...
Thomas C. Hales, John Harrison, Sean McLaughlin, T...
DEBU
2008
139views more  DEBU 2008»
15 years 6 months ago
Testing SQL Server's Query Optimizer: Challenges, Techniques and Experiences
Query optimization is an inherently complex problem, and validating the correctness and effectiveness of a query optimizer can be a task of comparable complexity. The overall proc...
Leo Giakoumakis, César A. Galindo-Legaria
CLEIEJ
2006
126views more  CLEIEJ 2006»
15 years 6 months ago
Software Based Fault Tolerance against Byzantine Failures
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
Goutam Kumar Saha
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 6 months ago
DepAnn - An Annotation Tool for Dependency Treebanks
DepAnn is an interactive annotation tool for dependency treebanks, providing both graphical and text-based annotation interfaces. The tool is aimed for semi-automatic creation of t...
Tuomo Kakkonen