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, Xiaobo 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 F. 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, Jinxiang 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, Yanci 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
  

Volume 24, Number 4, July 2009

• Hang Guo, Li-Zhu Zhou, Ling Feng:
  Self-Switching Classification Framework for Titled Documents. 615-625
  
• Yue Kou, Derong Shen, Ge Yu, Tiezheng Nie:
  Combining Local Scoring and Global Aggregation to Rank Entities for Deep Web Queries. 626-637
  
• An Liu, Hai Liu, Qing Li, Liusheng Huang, Mingjun Xiao:
  Constraints-Aware Scheduling for Transactional Services Composition. 638-651
  
• Gang Wu, Juan-Zi Li, Jianqiang Hu, Kehong Wang:
  System Pi: A Native RDF Repository Based on the Hypergraph Representation for RDF Data Model. 652-664
  
• Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir:
  Improved Integrity Constraints Checking in Distributed Databases by Exploiting Local Checking. 665-674
  
• Narjes Hachani, Mohamed Ali Ben Hassine, Hanene Chettaoui, Habib Ounelli:
  Cooperative Answering of Fuzzy Queries. 675-686
  
• Hua Luan, Xiaoyong Du, Shan Wang:
  Prefetching J⁺-Tree: A Cache-Optimized Main Memory Database Index Structure. 687-707
  
• Hua Luan, Xiaoyong Du, Shan Wang:
  Cache-Conscious Data Cube Computation on a Modern Processor. 708-722
  
• Hailong Liu, Qun Chen, Zhanhuai Li:
  Optimization Techniques for RFID Complex Event Processing. 723-733
  
• Hua Huang, Yu Zang, Paul L. Rosin, Chun Qi:
  Edge-Aware Level Set Diffusion and Bilateral Filtering Reconstruction for Image Magnification. 734-744
  
• Young-Suk Shin:
  Facial Expression Recognition of Various Internal States via Manifold Learning. 745-752
  
• Wu Chen, Mingyi Zhang, Maonian Wu:
  A Logic-Program-Based Negotiation Mechanism. 753-760
  
• San-Cheng Peng, Wei-Jia Jia, Guo-Jun Wang:
  Survivability Evaluation in Large-Scale Mobile Ad-Hoc Networks. 761-774
  
• Feng Zeng, Zhigang Chen:
  Cost-Sensitive and Load-Balancing Gateway Placement in Wireless Mesh Networks with QoS Constraints. 775-785
  
• Xinde Li, Florentin Smarandache, Jean Dezert, Xianzhong Dai:
  Combination of Qualitative Information with 2-Tuple Linguistic Representation in DSmT. 786-797
  
• Qingshi Gao, Xiaoyu Gao, Yue Hu:
  A New Fuzzy Set Theory Satisfying All Classical Set Formulas. 798-804
  

Volume 24, Number 5, September 2009

• Qing Zhang, Wei Wei, Ting Yu:
  On the Modeling of Honest Players in Reputation Systems. 808-819
  
• Anna Gutowska, Andrew Sloane, Kevan Buckley:
  On Desideratum for B2C E-Commerce Reputation Systems. 820-832
  
• Huanyu Zhao, Xiaolin Li:
  H-Trust: A Group Trust Management System for Peer-to-Peer Desktop Grid. 833-843
  
• Xavier Bonnaire, Erika Rosas:
  WTR: A Reputation Metric for Distributed Hash Tables Based on a Risk and Credibility Factor. 844-854
  
• Yafei Yang, Qinyuan Feng, Yan Lindsay Sun, Yafei Dai:
  Dishonest Behaviors in Online Rating Systems: Cyber Competition, Attack Models, and Attack Generator. 855-867
  
• Xiao-Yong Li, Xiao-Lin Gui:
  A Comprehensive and Adaptive Trust Model for Large-Scale P2P Networks. 868-882
  
• Yu Zhang, Huajun Chen, Xiaohong Jiang, Hao Sheng, Zhaohui Wu:
  RCCtrust: A Combined Trust Model for Electronic Community. 883-892
  
• Haihua Li, Xiaoyong Du, Xuan Tian:
  A Review-Based Reputation Evaluation Approach for Web Services. 893-900
  
• Yong-Qin Huang, Hong-Liang Li, Xiang-Hui Xie, Lei Qian, Zi-Yu Hao, Feng Guo, Kun Zhang:
  ArchSim: A System-Level Parallel Simulation Platform for the Architecture Design of High Performance Computer. 901-912
  
• Gabriel Falcão Paiva Fernandes, Shinichi Yamagiwa, Vítor Manuel Mendes da Silva, Leonel Sousa:
  Parallel LDPC Decoding on GPUs Using a Stream-Based Computing Approach. 913-924
  
• Sarbani Roy, Nandini Mukherjee:
  Adaptive Execution of Jobs in Computational Grid Environment. 925-938
  
• Ozgur Sinanoglu, Mohammed Al-Mulla, Noora A. Shunaiber, Alex Orailoglu:
  Scan Cell Positioning for Boosting the Compression of Fan-Out Networks. 939-948
  
• Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang:
  Aspect-Oriented Modeling and Verification with Finite State Machines. 949-961
  
• Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
  Interactive Fault Localization Using Test Information. 962-974
  
• Mingjun Xiao, Liusheng Huang, Qun-Feng Dong, An Liu, Zhen-Guo Yang:
  Leapfrog: Optimal Opportunistic Routing in Probabilistically Contacted Delay Tolerant Networks. 975-986
  
• Shaoliang Peng, Shanshan Li, Xiangke Liao, Yuxing Peng, Nong Xiao:
  Estimation of a Population Size in Large-Scale Wireless Sensor Networks. 987-997
  

Volume 24, Number 6, November 2009

• Fei-Yue Wang, Ning-Hui Sun, Wenji Mao, Xiaowei Li:
  Preface. 997-999
  
• Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang, Hans Bohlscheid:
  Customer Activity Sequence Classification for Debt Prevention in Social Security. 1000-1009
  
• Xiaochen Li, Wenji Mao, Daniel Zeng, Peng Su, Fei-Yue Wang:
  Performance Evaluation of Machine Learning Methods in Cultural Modeling. 1010-1017
  
• Xindong Wu, Xingquan Zhu, Qijun Chen, Fei-Yue Wang:
  Ubiquitous Mining with Interactive Data Mining Agents. 1018-1027
  
• Huiqian Li, Fen Xia, Daniel Zeng, Fei-Yue Wang, Wenji Mao:
  Exploring Social Annotations with the Application to Web Page Recommendation. 1028-1034
  
• Yang Li, Changjun Hu, Xin Yao:
  Innovative Batik Design with an Interactive Evolutionary Art System. 1035-1047
  
• Jianwei Xu, Mingyu Chen, Gui Zheng, Zheng Cao, Huiwei Lv, Ninghui Sun:
  SimK: A Large-Scale Parallel Simulation Engine. 1048-1060
  
• Dongrui Fan, Nan Yuan, Junchao Zhang, Yongbin Zhou, Wei Lin, Fenglong Song, Xiaochun Ye, He Huang, Lei Yu, Guoping Long, Hao Zhang, Lei Liu:
  Godson-T: An Efficient Many-Core Architecture for Parallel Program Executions. 1061-1073
  
• Ying Zhang, Huawei Li, Xiaowei Li:
  Selected Crosstalk Avoidance Code for Reliable Network-on-Chip. 1074-1085
  
• Wei Mi, Xiaobing Feng, Yao-Cang Jia, Li Chen, Jingling Xue:
  PARBLO: Page-Allocation-Based DRAM Row Buffer Locality Optimization. 1086-1097
  
• Utku Kalay, Oya Kalipsiz:
  A Comparison Study of Moving Object Index Structures. 1098-1108
  
• Arianna D'Ulizia, Fernando Ferri, Anna Formica, Patrizia Grifoni:
  Approximating Geographical Queries. 1109-1124
  
• Yisong Wang, Mingyi Zhang, Jia-Huai You:
  Logic Programs, Compatibility and Forward Chaining Construction. 1125-1137
  
• Soon-Gyu Jeong, Sang-Jo Yoo:
  Distributed Coordinator Election Scheme for QoS Support and Seamless Connectivity in WPANs. 1138-1148
  
• Moonki Jung, Hyundeok Cho, Taehwan Roh, Kunwoo Lee:
  Integrated Framework for Vehicle Interior Design Using Digital Human Model. 1149-1161
  
• Fang-Fang Dong, Zhen Liu:
  A New Gradient Fidelity Term for Avoiding Staircasing Effect. 1162-1170
  

Last update Sat May 18 20:40:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page