| Article NO. | Title | Author Name | Vol. Issue NO. | Number of Download | Copy |
| 2008125 |
Attribute Selection for Numerical Databases that Contain Correlations
|
Taufik Djatna and Yasuhiko Morimoto
|
2008,2(2):125-139
| 2344 |
|
| 20081 |
Applying Value-Based Software Process:An ERP Example
|
LiGuo Huang,Barry Boehm,Hao Hu,Jian L¨µ and Cheng Qian
|
2008,2(1):1-15
| 1898 |
|
| 89 |
SecureˇŞI*: Engineering Secure Software Systems through Social Analysis
|
Lin Liu,Eric Yu and John Mylopoulos
|
2009,3(1):89-120
| 1474 |
|
| 32 |
Propositional Attitudes and Causation
|
Konstantine,Arkoudas and Bringsjord
|
2009,3(1):47-65
| 1230 |
|
| i43 |
Web-Based Semantic Similarity: An Evaluation in the Biomedical Domain
|
David Sachez,Montserrat Batet and Aida Valls
|
2010,4(1):39-52
| 1085 |
|
| 343 |
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip
|
Taro Kurita and Yasumasa Nakatsugawa
|
2009,3(2):343-355
| 1066 |
|
| i68 |
Confidentiality Protection in Cloud Computing Systems
|
Stephen S. Yau and Ho G. An
|
2010,4(4):351-365
| 1045 |
|
| 129 |
Designing and Analyzing a Flash File System with Alloy
|
Eunsuk Kang and Daniel Jackson
|
2009,3(2):129-148
| 1018 |
|
| i66 |
Sequential Event Pattern Based Design of Context-Aware Adaptive Application
|
Chushu Gao,Jun Wei,Chang Xu and S.C. Cheung
|
2010,4(4):419-436
| 997 |
|
| 200889 |
Editorial
|
Xingquan Zhu,Chengqi Zhang and David L. Olson
|
2008,2(2):89-93
| 969 |
|
| 1 |
Preface
|
Tu Bao Ho,Zhi-Hua Zhou and Hiroshi Motoda
|
2009,3(1):1-2
| 937 |
|
| 31 |
Temporal Data Mining for Educational Applications
|
Paul R. Cohen and Carole R. Beal
|
2009,3(1):31-46
| 936 |
|
| 171 |
Efficient Model Checking for Duration Calculus?
|
Martin Frˇ§anzle1 and Michael R. Hansen2
|
2009,3(2):171-196
| 920 |
|
| 2008163 |
Managing the Acronym/Expansion Identi cation Process for Text-Mining Applications
|
Mathieu Roche and Violaine Prince
|
2008,2(2):163-179
| 918 |
|
| 305 |
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM
|
Peter Gorm Larsen,John Fitzgerald and Sune Wolff
|
2009,3(2):305-341
| 883 |
|
| 2008141 |
Effcient Mining of Heterogeneous Star-Structured Data
|
Manjeet Rege and Qi Yu
|
2008,2(2):141-161
| 843 |
|
| 415 |
Internetware Computing: Issues and Perspective
|
Wei-Tek Tsai,Zhi Jin and Xiaoying Bai
|
2009,3(4):415-438
| 838 |
|
| 121 |
Editorial
|
Dines Bj¦Őrner
|
2009,3(2):121-127
| 837 |
|
| 501 |
Construct Control Meshes of Helicoids over Trapezium Domain
|
Wenyu Chen,Gang Xu and Guozhao Wang
|
2009,3(4):501-511
| 797 |
|
| 241 |
Developing a Domain Model for Relay Circuits
|
Anne E. Haxthausen
|
2009,3(2):241-272
| 792 |
|
