会议专题

2009 Third IEEE International Conference on Secure Integration and Reliability Improvement SSIRI 2009(第三届IEEE安全软件集成及可信性改进国际会议)

总文献量: 65篇会议类型: 国际会议会议地点: 上海主办单位: 上海交通大学会议日期: 2009-07-08

文章浏览

Reliability Prediction of Web Service Composition Based on DTMC

REN Yingxin GU Qing QI Jingxian CHEN Daoxu

Anchored Tezt For Software Weaving and Merging

Pradeep Varma

A fast and flezible Platform for Fault Injection and Evaluation in Verilog-based Simulations

David Kammler Junqing Guan Gerd Ascheid Rainer Leupers Heinrich Meyr

An Efficient and Secure Multi-Secret Image Sharing Scheme with General Access Structure

Ching-Fan Lee Justie Su-Tzu Juan

Reliability Computing For Service Composition

Zuohua Ding Mingyue Jiang

The 1st Workshop on Testing Technologies and Tools for Critical Industry Applications Improving Test Quality by a Test Type Analysis Based Method

Qin Liu Wenqiang Zheng JunFei Ma

Detection of Multiple-Duty-Related Security Leakage in Access Control Policies

JeeHyun Hwang Tao Xie Vincent C. Hu

A Comparative Study of Forensic Science and Computer Forensics

Ryan Hankins Tetsutaroh Uehara Jigang Liu

Security Variability Design and Analysis in an Aspect Oriented Software Architecture

Lirong Dai

A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation

Fevzi Belli Axel Hollmann Markus Kleinselbeck

Siz-Sigma Based Performance Verification in Early Development of Automatic Test Equipment

Madhu Kilari Qiyu Huang Tongdan Jin

JPEG 2000 and Digital Watermarking Technique Using in Medical Image

Sung-Jin Lim Hae-Min Moon Seung-Hoon Chae Yongwha Chung Sung Bum Pan

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics

Chunxiang Xu Hanpin Wang Wanling Qu Meixia Zhu Yu Huang

Recursive Decomposition of Progress Graphs

David A. Cape Bruce M. McMillin Benjamin W. Passer Mayur Thakur

The 1st Workshop on Testing Technologies and Tools for Critical Industry Applications Automatic Test Data Generation for C Programs

Prasad Bokil Priyanka Darke Ulka Shrotri R. Venkatesh

Performance Testing of Mobile Applications at the Unit Test Level

Heejin Kim Byoungju Choi, W. Eric Wong

Analyzing Relation between Software Architecture Testing Criteria on Test Sequences

Lijun Lun Xuemei Ding

Complezity-Interoperability-Deployment of Software: Are we on the right way of progress in the Software Industry?

Rudolf Siebenhofer

Test-Data Generation for Web Services Based on Contract Mutation

Ying Jiang Ying-Na Li Shan-Shan Hou Lu Zhang

The 1st Workshop on Model-Based Verification & Validation Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

Alessandro Basso Alexander Bolotov Vladimir Getov