Volume 1 - (Volume 2)

Introduction

• 
  Message from the Standing Committee Chair.
• 
  Message from the General Chair.
• 
  Message from the Program Co-Chairs.
• 
  Committees.
• 
  Reviewers.

Keynote Address I

• 
  Graham Spittle: Industry Trends and Software Assurance. 3

Software Testing (I)

• 
  Yvan Labiche: Incremental Class Testing from a Class Test Order. 7-12
• 
  Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. 13-18
• 
  Peng Wu: Iterative Metamorphic Testing. 19-24
• 
  William E. Howden: Software Test Selection Patterns and Elusive Bugs. 25-32

Process Management

• 
  Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo: DIG: A Tool for Software Process Data Extraction and Grooming. 35-40
• 
  Ching-Pao Chang, Jia-Lyn Lv, Chih-Ping Chu: A Defect Estimation Approach for Sequential Inspection Using a Modified Capture-Recapture Model. 41-46
• 
  G. Lorenzo Thione, Dewayne E. Perry: Parallel Changes: Detecting Semantic Interferences. 47-56

Software Architecture and Metric

• 
  Jody L. Sharpe, João W. Cangussu: A Productivity Metric Based on Statistical Pattern Recognition. 59-64
• 
  Victor K. Y. Chan, W. Eric Wong: Optimizing and Simplifying Software Metric Models Constructed Using Maximum Likelihood Methods. 65-70
• 
  Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. 71-76
• 
  Swapna S. Gokhale, Sherif Yacoub: Performability Analysis of a Pipeline Software Architecture. 77-82

Panel: High-Assurance Software for Mobile Tele-Health Systems

• 
  Jose C. Lacal: High-Assurance Software Design for Mobile Tele-Health Systems. 85
• 
  Robert S. H. Istepanian: Wireless Security for Personalized and Mobile Healthcare Services. 86

Software Reengineering and Service-Based Systems

• 
  Ying Pan, Lei Wang, Lu Zhang, Bing Xie, Fuqing Yang: An Extended Approach to Improving the Semantic Interoperation Among Reuse Repositories. 89-94
• 
  Dowming Yeh, Pei-Chen Sun, William Cheng-Chung Chu, Chien-Lung Lin, Hongji Yang: An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation. 95-100
• 
  Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei: Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. 101-106
• 
  Stephen S. Yau, Dazhi Huang, Haishan Gong, Hasan Davulcu: Situation-Awareness for Adaptive Coordination in Service-Based Systems. 107-112

Middleware and Agent-Based Systems

• 
  Nader Mohamed: Self-Configuring Communication Middleware Model for Multiple Network Interfaces. 115-120
• 
  Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France: Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. 121-126
• 
  Ji Wang, Rui Shen, Hong Zhu: Agent Oriented Programming Based on SLABS. 127-132
• 
  Shung-Bin Yan, Zu-Nien Lin, Hsun-Jen Hsu, Feng-Jian Wang: Intention Scheduling for BDI Agent Systems. 133-140

Security and Privacy (I)

• 
  Mohammad Feroz Raihan, Mohammad Zulkernine: Detecting Intrusions Specified in a Software Specification Language. 143-148
• 
  Hiroyasu Nishiyama: SecureC: Control-Flow Protection Against General Buffer Overflow Attack. 149-155
• 
  David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob Askwith: Buffer Overrun Prevention Through Component Composition Analysis. 156-163
• 
  Ammar Masood, Sahra Sedigh-Ali, Arif Ghafoor: Efficiently Managing Security Concerns in Component Based System Design. 164-169

Panel: Industry and Academia: Can They Agree on Best Practice Within Software Engineering?

• 
  J. Barrie Thompson: Industry and Academia: Can They Agree on Best Practice Within Software Engineering?. 173
• 
  Stephen Chen: Best Practices in Software Engineering: Does Anybody in Industry or Academia Care? 174
• 
  Pierre Bourque: Principles Should Underlie Standards and Best Practices. 175

Requirement and Design (I)

• 
  Mechelle Gittens, Yong Kim, David Godwin: The Vital Few Versus the Trivial Many: Examining the Pareto Principle for Software. 179-185
• 
  Juha Savolainen, Ian Oliver, Mike Mannion, Hailang Zuo: Transitioning from Product Line Requirements to Product Line Architecture. 186-195
• 
  Cristina Cerschi Seceleanu: Designing Controllers for Reachability. 196-203
• 
  Yukiteru Yoshihara, Takao Miura: Melody Classification Using EM Algorithm. 204-210

Formal Methods

• 
  Sukhamay Kundu, Nigel Gwee: A Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions. 213-220
• 
  Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang: A Family of Extended Fuzzy Description Logics. 221-226
• 
  Weijia Deng, Huimin Lin: Extended Symbolic Transition Graphs with Assignment. 227-232
• 
  Martin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. 233-238

Networked, Distributed, and Embedded Systems (I)

• 
  Mark Grechanik, Dewayne E. Perry, Don S. Batory: Using AOP to Monitor and Administer Software for Grid Computing Environments. 241-248
• 
  Ryosuke Miyoshi, Takao Miura, Isamu Shioya: Nearest Neighbor Queries on Extensible Grid Files Using Dimensionality Reduction. 249-255
• 
  Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow: Power Transmission Control Using Distributed Max Flow. 256-263

Plenary Panel: Security and Privacy in Distributed Collaborative Systems

• 
  Stephen S. Yau: Security and Privacy in Collaborative Distributed Systems. 267
• 
  Piero A. Bonatti: Rule Languages for Security and Privacy in Cooperative Systems. 268-269
• 
  Dengguo Feng, Ji Xiang: Experiences on Intrusion Tolerance Distributed Systems. 270-271

Internet Web Systems

• 
  John Bailey, Elizabeth Burd: Tree-Map Visualization for Web Accessibility. 275-280
• 
  Yuh-Jzer Joung, Cheng Yen, Chung-Tang Huang, Yi-Jhan Huang: On Personal Data License Design and Negotiation. 281-286
• 
  Michael Ruth, Feng Lin, Shengru Tu: Adapting Single-Request/Multiple-Response Messaging to Web Services. 287-292
• 
  I-Chen Wu, Jui-Yuan Su, Loon-Been Chen: A Web Data Extraction Description Language and Its Implementation. 293-298

Verification and Validation

• 
  Yu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. 301-306
• 
  Jinchun Xia, Yujia Ge, Carl K. Chang: An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM. 307-312
• 
  Yanlong Zhang, Hong Zhu, Sue Greenwood: Empirical Validation of Website Timeliness Measures. 313-318
• 
  Puntip Pattaraintakorn, Nick Cercone, Kanlaya Naruedomkul: Hybrid Intelligent Systems: Selecting Attributes for Soft-Computing Analysis. 319-325

Panel: Model-Based Software Testing and Verification

• 
  Aditya P. Mathur: Model-Based Software Testing and Verification. 329
• 
  Mats Per Erik Heimdahl: Model-Based Testing: Challenges Ahead. 330
• 
  Ashish Jain: Model-Based Testing for Enterprise Software Solutions. 331
• 
  T. H. Tse: Research Directions on Model-Based Metamorphic Testing and Verification. 332

Mobile and Pervasive/Ubiquitous Computing

• 
  Geoff A. W. West, Stewart Greenhill, Svetha Venkatesh: A Probabilistic Approach to the Anxious Home for Activity Monitoring. 335-340
• 
  Alexei Iliasov, Alexander B. Romanovsky: Exception Handling in Coordination-Based Mobile Environments. 341-350
• 
  Jon Davis, Andrew Tierney, Elizabeth Chang: A User-Adaptable User Interface Model to Support Ubiquitous User Access to EIS Style Applications. 351-358
• 
  Insuk Park, Dongman Lee, Soon J. Hyun: A Dynamic Context-Conflict Management Scheme for Group-Aware Ubiquitous Computing Environments. 359-364

Panel: 21st-Century Global Software Development and Education

• 
  Dick B. Simmons: Twenty-First Century Software Production Paradigms. 367
• 
  Chris Nelson: SSI, Academia and Industry Collaboration. 368
• 
  Victoria Livschitz: Conquering the Crisis in Software Engineering. 369
• 
  James H. Cross II: 21st-Century Global Software Development and Education Position Statement. 370
• 
  Xiaoqing Frank Liu: Collaborative Global Software Development and Education. 371

Requirement and Design (II)

• 
  Fumiko Nagoya, Shaoying Liu, Yuting Chen: A Tool and Case Study for Specification-Based Program Review. 375-380
• 
  Mitchell Loeb, Alan L. Tharp: Tridirectional Computed Chaining: An Efficient Hashing Algorithm for Limited Space Applications. 381-387
• 
  Vicky Nassis, Rajagopal Rajugan, Tharam S. Dillon, J. Wenny Rahayu: A Requirement Engineering Approach for Designing XML-View Driven, XML Document Warehouses. 388-395
• 
  Matt Ryan, Sojan Markose, Xiaoqing Frank Liu, Ying Cheng: Structured Object-Oriented Co-Analysis/Co-Design of Hardware/Software for the FACTS Power System. 396-402

Reliable Systems

• 
  Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi: Gompertz Software Reliability Model and Its Application. 405-410
• 
  Jing Zhao, Hongwei Liu, Gang Cui, Xiao-Zong Yang: Software Reliability Growth Model Considering Testing Profile and Operation Profile. 411-416
• 
  Engelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. 417-424
• 
  Tim Storer, Ishbel Duncan: Two Variations to the mCESG Pollsterless E-Voting Scheme. 425-430

Keynote Address II

dd
• Jeena Srinivas, Stephen Chen:
  Towards a Model of Seamless Mobility - User Value and Security in Computing, Content, and Communications. 433-434
  

Software Testing (II)

• 
  Tafline Murnane, Richard Hall, Karl Reed: Towards Describing Black-Box Testing Methods as Atomic Rules. 437-442
• 
  Jian Bing Li, James Miller: Testing the Semantics of W3C XML Schema. 443-448
• 
  Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Goal-Oriented Test Data Generation for Programs with Pointer Variables. 449-454
• 
  George Devaraj, Mats Per Erik Heimdahl, Donglin Liang: Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. 455-462
• 
  Jerry Gao, Raquel Espinoza, Jingsha He: Testing Coverage Analysis for Software Component Validation. 463-470

Dependability and Fault Tolerance

• 
  Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy: Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. 473-478
• 
  Nik Looker, Malcolm Munro, Jie Xu: A Comparison of Network Level Fault Injection with Code Insertion. 479-484
• 
  Tiancheng Liu, Gang Huang, Gang Fan, Hong Mei: The Coordinated Recovery of Data Service and Transaction Service in J2EE. 485-490
• 
  Guohui Li, LihChyun Shu: A Low-Latency Checkpointing Scheme for Mobile Computing Systems. 491-496

Panel: How Democratic Will E-Democracy Be?

• 
  Stuart Anderson, Massimo Felici: How Democratic Will E-Democracy Be? 499
• 
  Ian Brown: Who Is Enfranchised by Remote Voting? 500
• 
  Peter Ryan: Prospects for E-Voting. 501
• 
  Jacques Bus: How Democratic Will E-Democracy Be? 502

Security and Privacy (II)

• 
  Michael Maaser, Peter Langendörfer: Automated Negotiation of Privacy Contracts. 505-510
• 
  En Tzu Wang, Guanling Lee, Yu Tzu Lin: A Novel Method for Protecting Sensitive Knowledge in Association Rules Mining. 511-516
• 
  Engin Kirda, Christopher Krügel: Protecting Users Against Phishing Attacks with AntiPhish. 517-524
• 
  Fang-Yie Leu, Jia-Chun Lin, Ming-Chang Li, Chao-Tung Yang: A Performance-Based Grid Intrusion Detection System. 525-530

Networked, Distributed, and Embedded Systems (II)

• 
  Hung-Chang Hsiao, Chung-Ta King: Scoped Broadcast in Dynamic Peer-to-Peer Networks. 533-538
• 
  K. S. Bae, K. K. Kim, Y. G. Chung, W. P. Yu: Character Recognition System for Cellular Phone with Camera. 539-544
• 
  Egon Teiniker, Robert Lechner, Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss: Towards a Contract Aware CORBA Component Container. 545-550
• 
  Hidenori Umeno, Masato Kiyama, Takafumi Fukunaga, Takashige Kubo: New Method for Dispatching Waiting Logical Processors in Virtual Machine Systems. 551-560
• 
  Bhavani M. Thuraisingham: Trust Management in a Distributed Environment. 561-562, (This is the position paper of Bhavani Thuraisingham, a panelist of the plenary panel, which arrived late. Please see Plenary Panel: Security and Privacy in Distributed Collaborative Systems, page 267)

last updated on Sat May 18 04:47:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page