| 2004 | 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings |
| 2004 | A Complete Textual Merging Algorithm for Software Configuration Management Systems. Haifeng Shen, Chengzheng Sun |
| 2004 | A Development Framework for Rapid Meta-Heuristics Hybridization. Hoong Chuin Lau, Wee Chong Wan, Min Kwang Lim, Steven Halim |
| 2004 | A Hybrid Security Framework of Mobile Code. Long Qin, Si Duanfeng, Han Xinhui, Zou Wei |
| 2004 | A Multi-Class SLIPPER System for Intrusion Detection. Zhenwei Yu, Jeffrey J. P. Tsai |
| 2004 | A New Receiver-Based Layered-Rate Estimator Algorithm for Fair Bandwidth Distribution. Kon Papazis, Naveen K. Chilamkurti, Ben Soh |
| 2004 | A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. Albert Mo Kim Cheng, Rong Wang |
| 2004 | A Novel Key Management Scheme for Dynamic Access Control in a User Hierarchy. Tzer-Shyong Chen, Yu-Fang Chung, Chang-Sin Tian |
| 2004 | A Reliable OS Kernel for Smart Sensors. Zhaohui Wu, Lei Wang, Kougen Zheng |
| 2004 | A Revisit of Adaptive Random Testing by Restrictio. Kwok Ping Chan, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey |
| 2004 | A Secure Mobile Agent System Model Based on Extended Elementary Object System. Lu Ma, Jeffrey J. P. Tsai, Tadao Murata |
| 2004 | A Secure and Fully Private Borda Voting Protocol with Universal Verifiability. Changjie Wang, Ho-fung Leung |
| 2004 | A Semantic-Aware Publish/Subscribe System with RDF Patterns. Jinling Wang, Beihong Jin, Jing Li, Danhua Shao |
| 2004 | A Taxonomy and Hierarchy of Variability Dependencies in Software Product Family Engineering. Michel Jaring, Jan Bosch |
| 2004 | A Uniform Meta-Model for Mediating Formal Electronic Conferences. Jia Zhang, Carl K. Chang, Jeffrey M. Voas |
| 2004 | Active Surroundings: A Group-Aware Middleware for Embedded Application System. Dongman Lee |
| 2004 | AdapTIVE: An Intelligent Virtual Environment and Its Application in E-Commerce. Cássia Trojahn dos Santos, Fernando Santos Osório |
| 2004 | Agentification for Web Services. Feng Chen, Hongji Yang, He Guo, Baowen Xu |
| 2004 | An Approach for Software Reliability Model Selection. Ch. Ali Asad, Muhammad Irfan Ullah, Muhammad Jaffar-Ur Rehman |
| 2004 | An Approach to Feature Based Modelling by Dependency Alignment for the Maintenance of the Trustworthy System. Jungyoon Kim, Doo-Hwan Bae |
| 2004 | An Approach to Generate the Thin-Threads from the UML Diagrams. Xiaoqing Bai, Chiou Peng Lam, Huaizhong Li |
| 2004 | An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs. Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar |
| 2004 | An Integrated Software Development Environment with XML Internal Representation. Chih-Hung Chang, William C. Chu, Chih-Wei Lu, Don-Lin Yang |
| 2004 | Application of Maximum Entropy Principle to Software Failure Prediction. Ji Wu, Haiyan Yang, Xiao-xia Jia, Chang Liu, Chao Liu, Maozhong Jin |
| 2004 | Assuring Assessment Success. Kevin McKeever, Jonathan Morrison, Eric Peterson |
| 2004 | Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. Amit M. Paradkar, Tim Klinger |
| 2004 | Codifying a Service Architectural Style. David Budgen, Pearl Brereton, Mark Turner |
| 2004 | Component Failure Mitigation According to Failure Type. Fan Ye, Tim Kelly |
| 2004 | Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment. Loe M. G. Feijs, Jun Hu |
| 2004 | Computer Supported Cooperative Work in Software Engineering. J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun |
| 2004 | Computing Curricula Software Engineering: Position Paper. David Budgen |
| 2004 | Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education. T. H. Tse |
| 2004 | Consistency Check in Modelling Multi-Agent Systems. Lijun Shan, Hong Zhu |
| 2004 | Context-Based Access Control for Ubiquitous Service Provisioning. Antonio Corradi, Rebecca Montanari, Daniela Tibaldi |
| 2004 | Continuous Productivity Assessment and Effort Prediction Based on Bayesian Analysis. Seok Jun Yun, Dick B. Simmons |
| 2004 | Coordinating Web Services Using Channel Based Communication. Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab |
| 2004 | Dependable Computing: Concepts, Challenges, Directions. Jean-Claude Laprie |
| 2004 | Design of a CIL Connector to SPIN. Yongjian Li, Rui Xue |
| 2004 | Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments. Stephen S. Yau, Dazhi Huang, Haishan Gong, Siddharth Seth |
| 2004 | Distributed Component-Based Software Development: An Incremental Approach. Eduardo Santana de Almeida, Alexandre Alvaro, Daniel Lucrédio, Antônio Francisco do Prado, Luís Carlos Trevelin |
| 2004 | Dynamic Real-Time Scheduling for Multi-Processor Tasks Using Genetic Algorithm. Shu-Chen Cheng, Yueh-Min Huang |
| 2004 | Efficient Partial Multiple Periodic Patterns Mining without Redundant Rules. Wenpo Yang, Guanling Lee |
| 2004 | Embedded Software in Real-Time Pervasive Computing Environments. Stephen S. Yau |
| 2004 | Enacting Conformance Assessment of Business Processes - An ebXML Based Approach in E-ADOME. Zhe Shan, Qing Li, Kamalakar Karlapalem |
| 2004 | Enhanced Security Models for Operating Systems: A Cryptographic Approach. Christian Payne |
| 2004 | Extraction and Visualization of Architectural Structure Based on Cross References among Object Files. Qiming Teng, Xiangqun Chen, Xia Zhao, Wei Zhu, Lu Zhang |
| 2004 | FC Method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision. Kazuma Aizawa, Haruhiko Kaiya, Kenji Kaijiri |
| 2004 | Formal Methods for Trustworthy Mobile Computing. Huimin Lin |
| 2004 | Formal Support for Development of JavaBeans? Component Systems. Bhim Prasad Upadhyaya, Zhiming Liu |
| 2004 | Generating Regression Tests via Model Checking. Lihua Xu, Marcio S. Dias, Debra J. Richardson |
| 2004 | Hiding Sensitive Patterns in Association Rules Mining. Guanling Lee, Chien-Yu Chang, Arbee L. P. Chen |
| 2004 | Identifying and Breaking Necessary Constraints to Web-Based Metacomputing. Wei Li, W. K. Daniel Pun, Minjie Zhang |
| 2004 | Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. Peter Henderson, Robert John Walters, Stephen Crouch |
| 2004 | Intelligent Component Selection. Valerie Maxville, Jocelyn Armarego, Chiou Peng Lam |
| 2004 | Introducing Agility: A Case Study of Situational Method Engineering Using the OPEN Process Framework. M. K. Serour, Brian Henderson-Sellers |
| 2004 | JART: Grammar-Based Approach to Refactoring. Tomaz Kosar, Marjan Mernik, Viljem Zumer |
| 2004 | Materializing Ubiquitous Computing Environments. Kimio Kuramitsu, Hideyuki Tokuda |
| 2004 | Modular Design of Reactive Systems. Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
| 2004 | Modular Monadic Program Slicing. Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang |
| 2004 | Multi-Dimension Browse. Tsung-Yuan Liu, Yuh-Jzer Joung |
| 2004 | Mutation-Based Testing Criteria for Timeliness. Robert Nilsson, Jeff Offutt, Sten F. Andler |
| 2004 | On the Testing of Particular Input Conditions. Eric Ying Kwong Chan, Pak-Lok Poon, Yuen-Tak Yu |
| 2004 | PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. Jianzhou Zhao, Jinian Bian, Weimin Wu |
| 2004 | POP beyond SODA, Reaching the New Horizon of Service Cooperation. Shaohua Liu, Dan Ye, Jun Wei, Gang Xu, Yonglin Xia, Yu Liu |
| 2004 | Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. Marco Vieira, Henrique Madeira |
| 2004 | Priority Assessment of Software Requirements from Multiple Perspectives. Xiaoqing Frank Liu, Chandra Sekhar Veera, Yan Sun, Kunio Noguchi, Yuji Kyoya |
| 2004 | Proof-Guided Testing: An Experimental Study. Guillaume Lussier, Hélène Waeselynck, Karim Guennoun |
| 2004 | Publicly Verifiable Auctions with Minimal Leakage. Qianhong Wu, Changjie Wang, Xiaofeng Chen, Yumin Wang |
| 2004 | Reachability Testing of Semaphore-Based Programs. Yu Lei, Richard H. Carver |
| 2004 | Real-Time Strategy and Practice in Service Grid. Hai Jin, Hanhua Chen, Jian Chen, Ping Kuang, Li Qi, Deqing Zou |
| 2004 | Research Directions in Software Process Improvement. David N. Card |
| 2004 | Risk Management of Corporate Confidential Information in Digital Form. Lucas Chi Kwong Hui, Kam-Pui Chow, Kevin K. H. Pun, Siu-Ming Yiu, Wai Wan Tsang, C. F. Chong, H. W. Chan |
| 2004 | SOWAC: A Service-Oriented Workflow Access Control Model. Wei Xu, Jun Wei, Yu Liu, Jing Li |
| 2004 | Safety Tactics for Software Architecture Design. Weihang Wu, Tim Kelly |
| 2004 | Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang |
| 2004 | Situated Modelling of Scenarios. Francisco A. C. Pinheiro |
| 2004 | Software Effort Prediction Models Using Maximum Likelihood Methods Require Multivariate Normality of the Software Metrics Data Sample: Can Such a Sample Be Made Multivariate Normal? Victor K. Y. Chan |
| 2004 | Software Quality and Agile Method. Ming Huo, June M. Verner, Liming Zhu, Muhammad Ali Babar |
| 2004 | Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags. Chin-Yu Huang, Chu-Ti Lin, Sy-Yen Kuo, Michael R. Lyu, Chuan-Ching Sue |
| 2004 | State of the Art and Future of Research in Software Process Improvement. Miguel A. Serrano |
| 2004 | Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware. Yongjie Zheng, Alvin T. S. Chan |
| 2004 | Study on Performance of IP-SWAN Based on Distributed NS-RAID. Baojiang Cui, Jun Liu, Gang Wang, Jing Liu |
| 2004 | Supporting Concept Assignment in the Comprehension of Web Applications. Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini |
| 2004 | Test Criteria for Context-Free Grammars. Hu Li, Maozhong Jin, Chao Liu, Zhongyi Gao |
| 2004 | Testing Context-Sensitive Middleware-Based Software Applications. T. H. Tse, Stephen S. Yau, W. K. Chan, Heng Lu, Tsong Yueh Chen |
| 2004 | The Effects of Fault Counting Methods on Fault Model Quality. Allen P. Nikora, John C. Munson |
| 2004 | TiViPE - Tino's Visual Programming Environment. Tino Lourens |
| 2004 | Towards Autonomic Computing Middleware via Reflection. Gang Huang, Tiancheng Liu, Hong Mei, Zizhan Zheng, Zhao Liu, Gang Fan |
| 2004 | Towards a Model Logic for p-Calculus. Taolue Chen, Tingting Han, Jian Lu |
| 2004 | Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems. Lei Wang, Zhaohui Wu, Mingde Zhao |