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: 271 Views: 599

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: 314 Views: 1106

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: 280 Views: 856

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: 307 Views: 960

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: 319 Views: 622