Thư Viện trường Đại Học Nha Trang

Journal of Software, Tập 7, Số 3, 2012

Mục lục:

STT	Nội dung
1	Compositional Veriﬁcation of Liveness Property in Inhibitor-arc Connections of Petri Net Systems / Fei Pu
2	Caching Mechanism in Peer-to-Peer Networks through Active XML / Abdullah Alrefae, Eric Pardede, Binh Viet Phan
3	Implementation and Evaluation of the Synchronization Protocol Immediate Priority Ceiling in PREEMPT-RT Linux / Andreu Carminati, Rˆomulo Silva de Oliveira, Lu´ıs Fernando Friedrich
4	A New Algorithm for Uncertain Problem of WEB Page Classification / Xiaodan Zhang
5	Developing an Evaluation Approach for Software Trustworthiness Using Combination Weights and TOPSIS / Li Shi and others
6	Dependency based Technique for Identifying the ripple Effect of Requirements Evolution / YuQing Yan, ShiXian Li, WeiJun Sun
7	Intuitionistic fuzzy dominance–based rough set approach: model and attribute reductions / Yanqin Zhang, Xibei Yang
8	Towards a calculus for distributed, real-time and mobile systems / Toufik Messaoud Maarouk, Djamel Eddine Saidouni, Mohamed Khergag
9	Non-Functional Properties in Service Oriented architecture – A Consumer’s Perspective / Hanane Becha and Daniel Amyot
10	The Quality Assessment of Student Learning Based on Cloud Model / Lizhen Liu, Wentao Wang, Maohong Zhang
11	A Comparison of Lossless Compression Methods for Palmprint Images / Song Zhao and others
12	Analysis of Information Systems Applied to Evaluating Tourism Service Quality Based on Organizational Impact / Min Wei
13	Aspect-Oriented Development Method for Non- Functional Characteristics of Cyber Physical Systems Based on MDA Approach / Lichen Zhang
14	The Simulated Annealing Algorithm and Its Application on Resource-saving Society Construction / Shaomei Yang, Qian Zhu, Zhibin Liu
15	Study of the Coordinate Design Method of Urban streets and Environment / Yu Bai, Wenqing Chen and Kun Xue
16	An Approach To Navigation For Lunar Rover Based On Virtual Reality Technology / LanFeng Zhou, Jian Jiang
17	Modeling Agricultural Logistics Distribution Center Location Based on ISM / Lijuan Huang, Jie Yu, Xingwang Huang
18	Multiple-Attribute Decision Making Based on Attribute Preference / Houxing Tang
19	Artificial Tribe Algorithm and Its Performance Analysis / Tanggong Chen, Youhua Wang and Jianwei Li
20	Reinforcement Learning in Robot Path Optimization / Qian Zhang and others
21	An Improved Base State with Amendments Spatio-Temporal Data Model / Yonghui Wang, Xiaoyu Song, Shoujin Wang
22	The Establishment of Supply Chain with Game Model of Competition and Cooperation / Xianwu Hu
23	Fire and Explosion Hazard Prediction Base on Virtual Reality in Tank Farm / Jialei Tan, Yushu Xie
24	Granular Reasoning and Decision System’s decomposition / Yan Lin, Yan Shuo
25	Approach of Customer Requirement Analysis Based on Requirement Element and Improved HoQ in Product Configuration Design / Changfeng Yuan, Guibing Pang, Wanlei Wang
26	Using Pattern Perspective to Model Key Business Process Performance / Ruliang Xiao
27	A New Mechanism of Naming Topological Entities for Semantic Feature Operations / Xue-Yao Gao and others
28	Future Computer-aided Decision-making Support systems : Concerning more about the Mechanism of Human Behavior / Juan Liu and others
29	Multifractal Analysis and Modeling of Chaotic Channels / Zhenchao Wang, Pei Du