![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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, Peizhong 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 - Gunasekaran Raja
, Vaidheyanathan Rhymend Uthariaraj, Uamapathy Yamini, Sudharsan Rajagopalan, 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, Yan-Wen 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, Weijia 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 - Xiaoyong Li
, Xiaolin 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, Ninghui 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 - Moon Ki 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.