Main Page

Accpeted papers list (20090521 update)

Main Conf.

ISSR

CSS

IWASVT

WMSC

DSAA

 

Main Conference (fixed)

ID: ISPA-113

Optimize Multiple Mobile Elements Touring in Wireless Sensor Network
Jingdong Xu, Liang He, Yuntao Yu  

¡¡

ID: ISPA-124

ARRAY: A Non-application-related, Secure, Wide-area Disaster Recovery Storage System
Lingfang Zeng, Dan Feng, Bharadwaj Veeravalli, Qingsong Wei

¡¡

ID: ISPA-126

One NEW Research About IPSec Communication Based on HTTP tunnel
mei song, zhang yun-he

¡¡

ID: ISPA-128

A Novel Broadcast Paradigm in Supporting Power-Saving Mobile Stations
Haw-Yun Shin, Mao-Hsu Yem

¡¡

ID: ISPA-139

Software Viterbi Decoder with SSE4 Parallel Processing Instructions for Software DVB-T Receiver
Shu-Ming Tseng, Yen-Chih Ku, Yueh-Teng Hsu

¡¡

ID: ISPA-141

Random Scheduling for Wireless Sensor Networks
Jie Jiang, Li Fang, Jun Wen, Guofu Wu, Heying Zhang

¡¡

ID: ISPA-146

Semantic Security Policy for Web Service
He Zheng-qiu, Wu Li-fa

¡¡

ID: ISPA-149

Survivable Virtual Topology Reconfiguration Problem on WDM Networks with Reconfiguration Constraint
Der-Rong Din, Yu-Sheng Chiu

¡¡

ID: ISPA-157

P-Cache: Providing Prioritized Caching Service for Storage System
meng xiaoxuan, si chengxiang, na wenwu, xu lu

¡¡

ID: ISPA-161

Solo: A Lightweight Virtual Machine
Xiang Zhang, Jie Ma, Yanchao Miao, Qingwei Meng, Dan Meng

¡¡

ID: ISPA-163

Research of Self-organizing Network Routing Model
Rong Wang, Aiwang Chen, Zupeng Li

¡¡

ID: ISPA-164

Consistent Message Ordering in Wireless Sensor and Actor Networks
Yang Wang, Liusheng Huang, Hongli Xu, Gang Wang

¡¡

ID: ISPA-167

An Efficient Task Allocation Protocol for P2P Multi-Agent Systems
Dayong Ye, Quan Bai, Minjie Zhang, Khin Than Win, Zhiqi Shen

¡¡

ID: ISPA-169

Supporting Reconfigurable Fault Tolerance on Application Servers
Junguo Li, Gang Huang, Xingrun Chen, Hong Mei

¡¡

ID: ISPA-171

A Designated Path Scheme for Energy-Balanced Data Aggregation in Wireless Sensor Networks
Yong-Ki Kim, Rabindra Bista, Jae-Woo Chang

¡¡

ID: ISPA-174

Event Based Semantic Location Model in Cooperative Mobile Computing
Zhengyong Zhang, Jing Yang, Juzhong Gu, Yingchen Xu

¡¡

ID: ISPA-179

Interference-Aware Relay Assignment for Cooperative Networks
Hongli Xu, Liusheng Huang, Gang Wang, Tao Xu

¡¡

ID: ISPA-182

Scheduling Jobs in Grids Adaptively
Chih-Yuan Lin, Chun-Fu Lin

¡¡

ID: ISPA-183

MM-DSM:Multi-threaded Multi-home Distributed Shared Memory Systems
Chonglei Mei, Hai Jiang, Jeff Jenness

¡¡

ID: ISPA-184

A forwarding migration algorithm for multipath transmission
Laiquan Han, Jinkuan Wang, Cuirong Wang

¡¡

ID: ISPA-188

Load Balancing in Server Consolidation
Deshi Ye, Hua Chen, Qinming He

¡¡

ID: ISPA-196

Security system for overlapping non dedicated clusters
Martin Stava, Pavel Tvrdik

¡¡

ID: ISPA-197

Performance, Fault-tolerance and Scalability Analysis of Virtual Infrastructure Management System
Xiangzhen Kong, Jiwei Huang, Chuang Lin, Peter Ungsunan

¡¡

ID: ISPA-198

Utility Proportional Optimization Flow Control for Overlay Multicast
Ali Jafari, H. Shafiei, Baharan Mirzasoleiman, Godrat Sepidnam

¡¡

ID: ISPA-202

Managing Large-Scale Scientific Computing in Ensemble Prediction Using BPEL
Cancan Liu, Weimin Zhang, Zhigang Luo, Xiaoqun Cao, Hai Liu

¡¡

ID: ISPA-203

A Two-Phase Log-based Fault Recovery Mechanism in Master/Worker based Computing Environment
Chen Ting, Wang Yong-jian, Huang Yuan-qiang, Luo Cheng, Qian De-pei, Luan Zhong-zhi

¡¡

ID: ISPA-205

A Self-stabilizing Distributed Algorithm for Maintaining a Hamiltonian Cycle
Nabil Guellati, Hamamache Kheddouci

¡¡

ID: ISPA-207

A Synchronization-Based Alternative to Directory Protocol
He Huang, Lei Liu, Nan Yuan Wei Lin Fenglong Song, Junchao Zhang, Dongrui Fan

¡¡

ID: ISPA-210

A Hardware-Software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture
Yasuaki Ito, Koji Nakano

¡¡

ID: ISPA-212

An Empirically Optimized Radix Sort for GPU
Bonan Huang, Jinlan Gao, Xiaoming Li

¡¡

ID: ISPA-215

REMOCA: Hypervisor Remote Disk Cache
Haogang Chen, Xiaolin Wang, Zhenlin Wang, Xiang Wen, Xinxin Jin, Yingwei Luo, Xiaoming Li

¡¡

ID: ISPA-216

An Efficient Algorithm for Mobile Group Pattern Mining
Zahra Farzanyar, Mohammadreza Kangavari, Naser Mozayani

¡¡

ID: ISPA-222

Distributed Execution of Workflow by using Parallel Partitioning
maryam khademi, cai wentong, stephen john turner, shayan shahand

¡¡

ID: ISPA-223

Analysing Internet Information Propagation using Quality of Service Methodology based on Algebra of System
Tianju Wang, Qu Qu, Benjamin Koo

¡¡

ID: ISPA-229

Virtual Machine Resource Management for High Performance Computing Applications
Zhiyuan Shao, Hai Jin, Yong Li, Jian Huang

¡¡

ID: ISPA-231

Efficient and Lightweight Data Integrity Check in In-Networking Storage Wireless Sensor Networks
Wei Ren, Yi Ren

¡¡

ID: ISPA-236

Program Optimization of Stencil Based Application on the GPU-accelerated System
Wang Guibin, Yang Xuejun, Zhang Ying, Tang Tao, Fang Xudong

¡¡

ID: ISPA-237

Characterizing Betweenness Centrality Algorithm on Multi-core Architectures
Dengbiao Tu, Guangming Tan

¡¡

ID: ISPA-241

CISP-Growth: A Contiguous Item Sequential Pattern mining algorithm with application level IO patterns

Jing-Liang Zhang, Jun-Wei Zhang, Jian-Gang Zhang, Lu Xu

¡¡

ID: ISPA-245

Fault-Tolerant Routing Schemes for Wormhole Mesh
Xinming Duan, Dakun Zhang, Xuemei Sun

¡¡

ID: ISPA-247

Transport and routing redundancy for MANETs robustness
Amadou baba Bagayoko, Beatrice Paillassa, Claudia Betous

¡¡

ID: ISPA-248

VoIP Performance in Multi-radio Mobile Devices
Abiodun Iwayemi, Chi Zhou

¡¡

ID: ISPA-249

Semantically Reliable Multicast Based on the (m-k)-Firm Technique
Wilian Queiroz, Lau Lung, Luciana Rech, Luiz Lima

¡¡

ID: ISPA-255

Performance Analysis of ClearSpeed's CSX600 Interconnects
Yuri Nishikawa, Michihiro Koibuchi, Masato Yoshimi, Akihiro Shitara, Kenichi Miura, Hideharu Amano

¡¡

ID: ISPA-260

Bandwidth Sensitive Co-allocation Scheme for Parallel Downloading in Data Grid
Ching-Hsien Hsu, Chia-Wei Chu, Chih-Hsun Chou

¡¡

ID: ISPA-261

Accelerating Partitional Algorithms for Flow Cytometry on GPUs
Jeremy Espenshade, Andrew Pangborn, James Cavenaugh, Gregor von
Laszweski, and Doug Roberts

¡¡

ID: ISPA-265

An Adaptive Resource Monitor Approach for Distributed Computing Environment
Gang Yang, Kaibo Wang, Xingshe Zhou

¡¡

ID: ISPA-270

A New Cloaking Method Supporting both K-anonymity and L-diversity for Privacy Protection in Location-Based Services

Jung-Ho Um, Mi-Young Jang, Kyoung-Jin Jo, Jae-Woo Chang

¡¡

ID: ISPA-272

DLBS: Duplex Loading Balancing Strategy on Object Storage System
Tan Zhipeng, Feng Dan, Tu Xudong, He Fei

¡¡

ID: ISPA-276

Challenges for Deployment of Voice Communication In Mobile Ad Hoc Networks
M. Faisal Amjad faisal@nust.edu.pk, Bilal Rauf bilalrauf@nust.edu.pk

¡¡

ID: ISPA-277

A Low Latency Handoff Scheme Based on the Location and Movement Pattern
Fei Shi, Keqiu Li, Yanming Shen

¡¡

ID: ISPA-278

Balancing Parallel Applications on Multi-core Processors Based on Cache Partitioning
Guang Suo, Xue-jun Yang

¡¡

ID: ISPA-280

An Active Trusted Model for Virtual Machine Systems
Wentao Qu, Minglu Li, Chuliang Weng

¡¡

ID: ISPA-281

Web Service Locating Unit in RFID-centric Anti-counterfeit System
Zhiyuan Tan, Xiangjian He, Priyadarsi Nanda

¡¡

ID: ISPA-282

Centralized Botnet Detection by Traffic Aggregation
Tao Wang, Shun-Zheng Yu

¡¡

ID: ISPA-284

An Alliance Based Reputation Model for Internet Autonomous System Trust Evaluation
Ning hu, Peidong Zhu, Peng Zou

¡¡

ID: ISPA-285

A Distributed Optimum Algorithm for Target Coverage in Wireless Sensor Networks
Zhang Hongwu, Wang Hongyuan, Feng Hongcai

¡¡

ID: ISPA-288

DDSA: A Sampling and Validation Based Spectrum Access Algorithm in Wireless Networks
Yang Panlong, Chen Guihai, Liu Xue, Guo Deke, Liu Yunhao

¡¡

ID: ISPA-291

Secure Logging for Auditable File System using Separate Virtual Machines
Siqin Zhao, Kang Chen, Weimin Zheng

¡¡

ID: ISPA-298

A Replacement Algorithm Designed for the Web Search Engine and Its Application in Storage Cache
Meng xiaoxuan, Si chengxiang, Xiaoming Han, Jiangang Zhang, Xu lu

¡¡

ID: ISPA-302

An Efficient Algorithm for Multimedia Delivery in Pervasive Space
Sheng Zhang, Zhuzhong Qian, Minyi Guo, Sanglu Lu

¡¡

ID: ISPA-303

Design and Implementation of a RFID Based Real-Time Location-aware System in Clean Room
Kun-Ming Yu, Ming-Gong Lee, Chien-Tung Liao, Hung-Jui Lin

¡¡

ID: ISPA-304

A Case-Based Component Selection Framework for Mobile Context-aware Applications
Fan Dong, Li Zhang, Dexter H. Hu, Cho-Li Wang

¡¡

ID: ISPA-305

I-Cache Tag Reduction for Low Power Chip Multiprocessor
Long Zheng, Mianxiong Dong, Minyi Guo, Song Guo, Li Li

 

 

2009 IEEE International Workshop on Security in e-Science and e-Research (ISSR-09) 

Accepted papers (fixed)

¡¤         ID: ISSR-18

Tool Support for Security-oriented Virtual Research Collaborations

John Watt, Richard Sinnott, Jipu Jiang, Tom Doherty, Chris Higgins, Michael

Koutroumpas

National e-Science Centre, University of Glasgow, UK

j.watt@nesc.gla.ac.uk

¡¡

¡¤         ID: ISSR-23

Towards a Trustable Virtual Organisation

Jun Ho Huh, Andrew Martin

Oxford University Computing Laboratory, UK

jun.ho.huh@comlab.ox.ac.uk

 

¡¤         ID: ISSR-31

USGPA: A User-centric and Secure Grid Portal Architecture for High-performance

Computing

Rongqiang Cao, Xuebin Chi, Zongyan Cao, Zhihui Dai, Haili Xiao

Supercomputing Center, Chinese Academy of Sciences, China

caorq@sccas.cn

¡¡

¡¤         ID: ISSR-33

Enhancing Privacy and Security in RFID-Enabled Banknotes

Ching-Nung Yang, Jie-Ru Chen, Chih-Yang Chiu, Gen-Chin Wu, Chih-Cheng Wu

National Dong Hwa University, Taiwan

Email: cnyang@mail.ndhu.edu.tw

 

 

The 2nd International Workshop on Cyberspace Safety and Security (CSS 2009)
Accepted papers (fixed)


I
D: CSS-05
Active Attacks on Reputable Mix Networks

LongHai Li, ShaoFeng Fu and XiangQuan Che

Xidian University, China

xdlilh@gmail.com

 
ID: CSS-06

Analysis and Vulnerability Detection for Network System Software
Wei Pan Reverse

Northwestern Polytechnical University, China

 panweihh@163.com


ID: CSS-07

ZDCF:A improved DCF solution of IEEE 802.11
Jianli Zhang, Zhiyi Fang, Yunlong Zhang, Yongbo Ma 

Jilin University, China

zhang-sunshine@hotmail.com


ID: CSS-09

Fuzzy Decision Tree Based Inference Technology for Spam Behavior Recognition
Meizhen Wang, Zhitang Li and Sheng Zhong 

Huazhong University of Science and Technology, China

mzwang@mail.hust.edu.cn


ID: CSS-10

Dynamic Forensics based on Intrusion Tolerance
Lin Chen, Zhitang Li, Lan Liu, Cuixia Gao

Huazhong University of Science and Technology, China

chenlin@mail.hust.edu.cn

 
ID: CSS-11

An Identity-based Restricted Deniable Authentication Protocol 
Chengyu Fan, Shijie Zhou and Fagen Li

Southwest University, China

chengy.fan@gmail.com

¡¡

ID: CSS-51

Grey Theory Based Nodes Risk Assessment in P2P Networks 
Fu Cai Tang Fugui Cui Yongquan Liu Ming Peng Bing

Huazhong University of Science & Technology

stand_fucai@126.com

¡¡

ID: CSS-115

A Method of in-Depth-Defense for Network Security Based on Immunity Principles
Yaping Jiang, Jianhua Zhou, Yong Gan, Zengyu Cai

Zhengzhou University of Light Industry, China

yapingjiang@163.com

¡¡

¡¡

ID:CSS-119

A Case Study: File Access Privacy Control Using Filter Hook Driver
Aiguo He, Tomohiro Ohdaira \

Aizu University, Japan

aiguo@u-aizu.ac.jp

¡¡

ID: CSS-213

Extended PEG Algorithm for high rate LDPC codes
Zhiheng Zhou, Xiangxue Li, Dong Zheng, Kefei Chen, Jianhua Li

Shanghai Jiao Tong University, China

supercancel@sjtu.edu.cn

¡¡

ID: CSS-271

A Business-oriented Fault Localization Approach Using Digraph
Lianzhong Liu, Chunfang Li, YanPing Zhang

Beijing University of Aeronautics and Astronautics, China

lcf1974@126.com

¡¡

ID: CSS-275

Development of ISEE: An Information Security Engineering Environment
Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, and Ahmad Iqbal

Saitama University, Japan

cheng@ics.saitama-u.ac.jp

¡¡

ID: CSS-218

Fault-Tolerant K-Connectivity Overlay for Unstructured P2P Network
Shen Ling, Wu Wei

218, Beijing University of Aeronautics and Astronautics, China       

shenling@vrlab.buaa.edu.cn

¡¡

ID: CSS-235

Distributed Transfer Network Learning Based Intrusion Detection
Shuiping Gou, Yuqin Wang, Licheng Jiao, Jing Feng, Yao Yao

Xidian University, China

wyq_127@163.com

 

The 2009 International Workshop on Architecture Support on Virtualization Techniques (IWASVT2009)

Accepted papers (fixed)

ID: IWASVT-01

A Simple Cache Partitioning Approach in a Virtualized Environment

Xinxin Jin, Haogang Chen, Xiaolin Wang, Zhenlin Wang, Xiang Wen, Yingwei Luo, Xiaoming Li

Peking University, China

lyw@pku.edu.cn

¡¡

ID: IWASVT-02

Using Pcache to speedup interpretation in dynamic binary translation

Wei Chen, Hongyi Lu, Li Shen, Zhiying Wang and Nong Xiao

National University of Defense Technology, China

chenwei@nudt.edu.cn

¡¡

ID: IWASVT-04

Block-based In-Place Replacement Strategy for x86 Sensitive Instructions in Virtual Machine

Yusong Tan, Weihua Zhang and Qingbo Wu

National University of Defense Technology, China

National University of Defense Technology, China

yusong.tan@gmail.com

¡¡

ID: IWASVT-05

Luvalley-lite: an effort to balance re-use and re-coding

Xiaojian Liu, Xiaodong Yi and Yi Ren

National University of Defense Technology, China

aleck_liu@163.com

¡¡

ID: IWASVT-06

An Virtualized Self-Adaptive Parallel Programming Framwork for Heterogeneous High Productivity Computers

Hua Cheng, Zuoning Chen, Fengbin Qi, Chaoqun Dong and Laiwang Cheng

JiangNan Institute of Computing Technology, China

chenghua@ncic.ac.cn

¡¡

ID: IWASVT-08

System Monitoring and Controlling Mechanism based on Hypervisor

Qingbo Wu, Chuguang Wang and Yusong Tan

National University of Defense Technology, China

gcwworld@gmail.com

¡¡

ID: IWASVT-292

A Parallel Gibbs Sampling Algorithm for Motif Finding on GPU
Linbin Yu, Yun Xu

University of Science and Technology, China

yulinbin@gmail.com; lbyu@mail.ustc.edu.cn

¡¡

ID: IWASVT-227

Data Management: The Spirit to Pursuit Peak Performance on Many-Core Processor
Yongbin Zhou

ybzhou@gmail.com

¡¡

ID: IWASVT-240

Using GPU to Accelerate Cache Simulation
Han Wan, Xiaopeng Gao, Zhiqiang Wang, Yi Li

Beijing University of Aeronautics and Astronautics, China

wanhan@cse.buaa.edu.cn

¡¡

ID: IWASVT-160

Evaluation Method of Synchronization for Shared-Memory On-Chip Many-Core Processor
Fenglong Song, Zhiyong Liu, Dongrui Fan, He Huang, Nan Yuan, Lei Yu, Junchao Zhang

Institute of Computing Technology, Chinese Academy of Sciences, China

songfenglong@ict.ac.cn 

 

ID: IWASVT-187

Related task scheduling research based on virtual clusters and partitioning of task
Hong Liang, Changzhen Xing, Xuedong Qi, Chang Liu

China University of Petroleum

xingyun323@163.com

The 1st International Workshop on Workflow Management in Service and Cloud Computing (WMSC2009)

Accepted papers (fixed)

 

Paper ID: WMSC02

Workflow based Approach for Eliminating Redundancy in Virtual Enterprising

Reggie Davidrajuh

University of Stavanger, Norway

reggie.davidrajuh@uis.no

¡¡

Paper ID: WMSC04

A Web Based Workflow System for Distributed Atmospheric Data Processing

Jie Cheng, Xiaoguang Lin, Yuanchun Zhou, Jianhui Li

Computer Network Information Center, Chinese Academy of Sciences, China

jiecumt@gmail.com

{lxg, yczhou, lijh}@sdb.cnic.cn

¡¡

Paper ID: WMSC05

A Quality Optimization Method for Service Process Model

Haiyan Zhao, Jian Cao, Xiaohan Sun

University of Shanghai for Science and Technology, China

zhaohaiyan1992@sina.com.cn

¡¡

Paper ID: WMSC06

A Global QoS-driven Evaluation Strategy for Web Services Composition

Xuyun Zhang,Wanchun Dou

State Key Laboratory for Novel Software Technology, Nanjing University, China

xyzhanggz@gmail.com

douwc@nju.edu.cn

¡¡

Paper ID: WMSC07

Workflow Model Performance Analysis Concerning Instance Dwelling Times Distribution

Liu Sheng, Fan Yushun

Department of Automation, Tsinghua University, China

liusheng@tsinghua.edu.cn

fanyus@tsinghua.edu.cn

¡¡

Paper ID: WMSC09

An Adaptive Scheduler for Enhancing the Efficiency of Multi-engine BPM system

SUN Jun-Yi, LI Hou-Fu, HAN Yan-Bo

Institute of Computing Technology, Chinese Academy of Sciences, China

sunjunyi@software.ict.ac.cn

lhfsday@software.ict.ac.cn

yhan@ict.ac.cn

¡¡

Paper ID: WMSC11

Completion Time Estimation for Instances of Generalized Well-formed Workflow

Zuoxian Nie, Xin-hua JIANG, Jian-cheng LIU, Haiyan Yang

School of Information Science and Engineering, Central South University, China

zxnie@163.com

¡¡

Paper ID: WMSC12

Research on services selection based on credible alliance in Web services combination

Chunhua Hu, Xiaohong Chen,Jianxun Liu, Jibo Liu

School of computer and electronic engineering, Hunan University of Commerce, Changsha 410205, China

Huchunhua777@163.com

¡¡

Paper ID: WMSC13

Generation of Web Knowledge Flow for Personalized Services

Jie Yu, Xiangfeng Luo, Feiyue Ye, Yongmei Lei

Joint Lab of Next-Generation Internet Interactive Computing, Shanghai University, China

{jieyu, luoxf, lei, yefy}@shu.edu.cn

¡¡

Paper ID: WMSC15

A Multiple QoS Constrained Scheduling Strategy of Multiple Workflows for Cloud Computing

Meng Xu, Lizhen Cui, Haiyang Wang

School of Computer Science and Technology, Shandong University, China

xumeng_wf@163.com

clz@sdu.edu.cn

why@sdu.edu.cn

¡¡

Paper ID: WMSC16

Change Sequence Mining in Context-Aware Scientific Workflow

Yi Wang, Jian Cao, Minglu Li

Department of Computer Science and Engineering, Shanghai Jiao Tong University, China

wangsuper@sjtu.org

{cao-jian, li-ml }@cs.sjtu.edu.cn

¡¡

Paper ID: WMSC21

A Time Exception Handling Algorithm of Temporal Workflow

Ting Xie, Yang Yu, Guoshen Kuang

Department of Computer Science£¬Sun Yat-Sen University, China

yuy@mail.sysu.edu.cn

¡¡

Paper ID: WMSC22

A Visual Tool for Modeling Instance-Aspect in Workflow

Jianxun Liu, Zefeng Zhu, Jinjun Chen, Yiping Wen

Knowledge Grid Lab,Hunan Unviersity of Science and Technology, Hunan 411201, China

ljx529@gmail.com

¡¡

Paper ID: WMSC23

A Domain Specific Language and Workflow Execution Engine to Enable Dynamic Workflows

Engine;G.St¡§urmer, J.Mangler, E.Schikuta

Faculty of Computer Science,University of Vienna, Austria

a0302949@unet.univie.ac.at
juergen.mangler@univie.ac.at
erich.schikuta@univie.ac.at

¡¡

ID: WMSC-102

Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets

Yaojun Han, Xuemei Luo

Tongji University, Shanghai International Studies University, China

yjhan@shisu.edu.cn

¡¡

ID: WMSC-232 

Adaptive Processor Allocation with Estimated Job Execution Time in Heterogeneous Computing Grid

Kuo-Chan Huang, Kuan-Po Lai, Hsi-Ya Chang

National Taichung University, Taiwan, China

kchuang@mail.ntcu.edu.tw

 

The International Workshop on Distributed Systems, Algorithms and Applications (DSAA 2009)
Accepted papers (fixed)


¡¡

ID: DSAA-226

Optimizing Message Passing Programs Based on Task Section Duplication
Yin Ye, Zhihui Du, Song Hao

Tsinghua University, China

leafsilver@163.com; duzh@tsinghua.edu.cn

¡¡

ID: DSAA-186

A task-pool parallel I/O paradigm for an I/O intensive application
Jianjiang Li, Lin Yan, Zhe Gao, Dan Hei

University of Science and Technology Beijing, China

yanlinchn@gmail.com

¡¡

¡¡

ID: DSAA-211

Extended Combination Testing: Generates Array Test Suite
Xiaodong Xie, Yansheng Lu

Huazhong University of Science and Technology, China

longwarbow@126.com

¡¡

ID: DSAA-221

SimSync: A Table-based Constraint Processing Language for Synchronization Control
Ke Huang, Zhihong Li, Benjamin Koo, Tianju Wang

Tsinghua University, China

huangk07@gmail.com

¡¡

ID: DSAA-252

The Conditional Diagnosability of Twisted cubes under the Comparison Model
Shuming Zhou

Fujian Normal University, China

zhoushuming@fjnu.edu.cn

¡¡

ID: DSAA-191

Proving Total Correctness of Refinement Based on Tableau
Xiaolei Gao, Huaikou Miao

Dongguan University of Technology, China

xiaoleigao@163.com

¡¡

ID: DSAA-206

Multi-Source Traffic Data Fusion Method Based on Regulation and Reliability
Xinhong Wu, Hai Jin

¡¡

¡¡

ID: DSAA-242

Semi-Automatic transformation of sequential code to distributed code using Model Driven Architecture approach
siamak najjar karimi, Saeed Parsa

Islamic Azad University Shabestar Branch, Iran

siyamak.karimi@gmail.com

¡¡

 

¡¡

¡¡