Journal of Computer Science and Technology, Volume 24

Volume 24, Number 1, January 2009

• Daniel Cohen-Or:
  Space Deformations, Surface Deformations and the Opportunities In-Between. 2-5
  
• Weiwei Xu, Kun Zhou:
  Gradient Domain Mesh Deformation - A Survey. 6-18
  
• Tao Ju:
  Fixing Geometric Errors on Polygonal Models: A Survey. 19-29
  
• Gregory M. Nielson, Liyan Zhang, Kun Lee, Adam Huang:
  Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates. 30-38
  
• Fuhua (Frank) Cheng, Fengtao Fan, Shuhua Lai, Conglin Huang, Jiaxi Wang, Jun-Hai Yong:
  Loop Subdivision Surface Based Progressive Interpolation. 39-46
  
• Yong Zhao, Xinguo Liu, Qunsheng Peng, Hujun Bao:
  Rigidity Constraints for Large Mesh Deformation. 47-55
  
• George W. Hart:
  An Algorithm for Constructing 3D Struts. 56-64
  
• Zhe Bian, Shi-Min Hu, Ralph R. Martin:
  Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field. 65-75
  
• Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane:
  An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. 76-95
  
• Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang:
  Improved Bounded Model Checking for the Universal Fragment of CTL. 96-109
  
• Long Li, Yu Zhang, Yiyun Chen, Yong Li:
  Certifying Concurrent Programs Using Transactional Memory. 110-121
  
• Xian Xu:
  Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. 122-137
  
• Zhiguo Wan, Robert H. Deng, Feng Bao, Bart Preneel, Ming Gu:
  n PAKE⁺: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords. 138-151
  
• Xuejun Yang, Yu Deng, Li Wang, Xiao-Bo Yan, Jing Du, Ying Zhang, Guibin Wang, Tao Tang:
  SRF Coloring: Stream Register File Allocation via Graph Coloring. 152-164
  
• Xiang Zhang, Gong Cheng, Weiyi Ge, Yuzhong Qu:
  Summarizing Vocabularies in the Global Semantic Web. 165-174
  
• Kevin Chiew, Yingjiu Li:
  Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics. 175-180
  

Volume 24, Number 2, March 2009

• Jeff Kramer, Jeff Magee:
  A Rigorous Architectural Approach to Adaptive Software Engineering. 183-188
  
• David Notkin:
  Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. 189-197
  
• Leon J. Osterweil:
  Formalisms to Support the Definition of Processes. 198-211
  
• Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins:
  Architecting Fault Tolerance with Exception Handling: Verification and Validation. 212-237
  
• Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
  Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. 238-249
  
• Yu Dai, Lei Yang, Bin Zhang:
  QoS-Driven Self-Healing Web Service Composition Based on Performance Prediction. 250-261
  
• Javier Garzás, Félix García, Mario Piattini:
  Do Rules and Patterns Affect Design Maintainability? 262-272
  
• Varun Gupta, Jitender Kumar Chhabra:
  Package Coupling Measurement in Object-Oriented Software. 273-283
  
• Dan Hao, Lu Zhang, Ming-Hao Liu, He Li, Jiasu Sun:
  Test-Data Generation Guided by Static Defect Detection. 284-293
  
• Tao Huang, Guoquan Wu, Jun Wei:
  Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension. 294-308
  
• Santi Martínez, Magda Valls, Concepció Roig, Josep M. Miret, Francesc Giné:
  A Secure Elliptic Curve-Based RFID Protocol. 309-318
  
• Xin Peng, Seok-Won Lee, Wenyun Zhao:
  Feature-Oriented Nonfunctional Requirement Analysis for Software Product Line. 319-338
  
• Thandar Thein, Jong Sou Park:
  Availability Analysis of Application Servers Using Software Rejuvenation and Virtualization. 339-346
  
• Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu:
  Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. 347-356
  
• Bangyu Wu, Chi-Hung Chi, Shijie Xu, Ming Gu, Jia-Guang Sun:
  QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector. 357-372
  
• Feng Xu, Jing Pan, Wen Lu:
  A Trust-Based Approach to Estimating the Confidence of the Software System in Open Environments. 373-385
  
• Jiang Yu, Andrew Tappenden, James Miller, Michael R. Smith:
  A Scalable Testing Framework for Location-Based Services. 386-404
  

Volume 24, Number 3, May 2009

• Surendra Byna, Yong Chen, Xian-He Sun:
  Taxonomy of Data Prefetching for Multicore Processors. 405-417
  
• François Bonnet, Michel Raynal:
  Conditions for Set Agreement with an Application to Synchronous Systems. 418-433
  
• Xiao-Min Zhu, Pei-Zhong Lu:
  Multi-Dimensional Scheduling for Real-Time Tasks on Heterogeneous Clusters. 434-446
  
• Jing Zhou, Wendy Hall, David De Roure:
  Building a Distributed Infrastructure for Scalable Triple Stores. 447-462
  
• Xiao-Hua Wang, Yi-Gang He, Tian-Zan Li:
  Neural Network Algorithm for Designing FIR Filters Utilizing Frequency-Response Masking Technique. 463-471
  
• Raja Gunasekaran, Vaidheyanathan Rhymend Uthariaraj, Uamapathy Yamini, Rajagopalan Sudharsan, Selvaraj Sujitha Priyadarshini:
  A Distributed Mechanism for Handling of Adaptive/Intelligent Selfish Misbehaviour at MAC Layer in Mobile Ad Hoc Networks. 472-481
  
• Jiahai Yang, Hui Zhang, Jin-Xiang Zhang, Changqing An:
  Towards Next Generation Internet Management: CNGI-CERNET2 Experiences. 482-494
  
• Hao Wen, Chuang Lin, Zhijia Chen, Hao Yin, Tao He, Eryk Dutkiewicz:
  An Improved Markov Model for IEEE 802.15.4 Slotted CSMA/CA Mechanism. 495-504
  
• Xue-Hou Tan:
  Searching a Polygonal Region by a Boundary Searcher. 505-516
  
• Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno:
  A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs. 517-533
  
• Hai-Bin Zhang, Zhen-Hua Duan:
  Symbolic Algorithmic Analysis of Rectangular Hybrid Systems. 534-543
  
• Sriparna Saha, Sanghamitra Bandyopadhyay:
  A New Line Symmetry Distance and Its Application to Data Clustering. 544-556
  
• Yanli Liu, Xiao-Gang Xu, Yanwen Guo, Jin Wang, Xin Duan, Xi Chen, Qunsheng Peng:
  Pores-Preserving Face Cleaning Based on Improved Empirical Mode Decomposition. 557-567
  
• Yong-Xi Gong, Yu Liu, Lun Wu, Yu-Bo Xie:
  Boolean Operations on Conic Polygons. 568-577
  
• Bin Sheng, Jian Zhu, Enhua Wu, Yan-Ci Zhang:
  Lumiproxy: A Hybrid Representation of Image-Based Models. 578-587
  
• Shung Han Cho, Yuntai Kyong, Sangjin Hong, We-Duke Cho:
  Self Localization Method Using Parallel Projection Model for Mobile Sensor in Navigation Applications. 588-603
  
• Muhammad Hussain:
  Efficient Simplification Methods for Generating High Quality LODs of 3D Meshes. 604