A COMPLETE PROOF FOR THE CORRECTNESS OF PROGRAMS WITH NEW SPECIFICATION LANGUAGE

by: A. A. Darwish
Page: 97 - 114
Advances in Computer Science and Engineering
Volume 2, Issue 2, Pages 97 - 114 (July 2008)
Downloads: 275 Views: 631

DHFI-TREE MINING: A NEW APPROACH FOR FREQUENT ITEMSET MINING

by: A. V. Senthil Kumar and R. S. D. Wahidabanu
Page: 115 - 132
Advances in Computer Science and Engineering
Volume 2, Issue 2, Pages 115 - 132 (July 2008)
Downloads: 317 Views: 1129

THE BEHAVIOR OF TRANSACTIONS SUCCESS RATIO IN FIRM REAL-TIME DATABASE SYSTEMS

by: Samy Semghouni, Bruno Sadeg, Alexandre Berred and Laurent Amanton
Page: 133 - 163
Advances in Computer Science and Engineering
Volume 2, Issue 2, Pages 133 - 163 (July 2008)
Downloads: 283 Views: 879

THE TOTAL SYSTEM RELIABILITIES FOR FAULT-TOLERANT SELF-RECONFIGURABLE ARRAY SYSTEMS

by: Tadayoshi Horita and Itsuo Takanami
Page: 165 - 187
Advances in Computer Science and Engineering
Volume 2, Issue 2, Pages 165 - 187 (July 2008)
Downloads: 309 Views: 979

A NEW THRESHOLDING METHOD FOR DENOISING OF BIOLOGICAL SIGNALS USING WAVELETS

by: V. V. K. D. V. Prasad, P. Siddaiah and B. Prabhakara Rao
Page: 189 - 199
Advances in Computer Science and Engineering
Volume 2, Issue 2, Pages 189 - 199 (July 2008)
Downloads: 323 Views: 638