| 2003 | A Comparison of Simulated Annealing and Tabu Search in Image Segmentation. Chih-Cheng Hung, Randy Daniel, Tommy L. Coleman |
| 2003 | A Component Based Architecture for Coupling Optimization and Simulation Software in a Distributed Environment. Markus Krosche, Rainer Niekamp, Hermann G. Matthies |
| 2003 | A Decision-Centric Approach to Software Architecture Evaluation. Heeseok Choi, Keunhyuk Yeom |
| 2003 | A Formalism for Distributed Systems with an Accurate Graphical Representation. Gabriel Ciobanu, Mihai Rotaru |
| 2003 | A Framework for Developing Applications for Ad-hoc Environments. Michael Lauer, Michael Matthes, Oswald Drobnik |
| 2003 | A Framework for Software Engineering Metrics. Kiumi Akingbehin |
| 2003 | A Higher Order -Calculus Specification for a Mobile Agent in JINI. Andreea Barbu, Fabrice Mourlin |
| 2003 | A MOF-based Environment to Generate a User-Customizable Case Tool. Jihyun Lee, You-Hee Choi, Gyu-Sang Shin |
| 2003 | A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski |
| 2003 | A QoS-guaranteed DiffServ-aware-MPLS VPN and its Network Management System. Youngtak Kim, Hyung-Woo Choi, Hyo-Sung Kim |
| 2003 | A Study on the Relationship of Assurance Requirements between K Level of KISEC and EAL Level of CC. Tai-Hoon Kim, Jae-Sung Kim, Eun-Kyoung Yi, Haeng-Kon Kim |
| 2003 | A Study on the Verification Tool of Coding Conventions. Woo-Mok Kim, Tae-Hee Gwak, Kyung-Eun Park |
| 2003 | A Vehicle Structure Based Software Architecture. Christoph Falk, Thomas Grechenig, Wolfgang Zuser |
| 2003 | Achieving Flow Fairness in DiffServ Class: Per-flow Fair Admission Control over Differentiated Service Network. Ming Li, Doan B. Hoang |
| 2003 | An Architecture Model for Component Composition and Integration. Roger Y. Lee, Karthick Jenadoss |
| 2003 | An Evolutionary Approach for Optimisation of State-based Test Suites for Software Systems. Huaizhong Li, Chiou Peng Lam |
| 2003 | An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. Anthony Chung, Tao Huang |
| 2003 | An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. Francesca Basanieri, Pierpaolo Iani, Gaetano Lombardi, Eda Marchetti |
| 2003 | An Integrated Design Environment for Collaborative Tailoring. Volkmar Pipek |
| 2003 | Application of AI for Automation of Software Testing. Chiou Peng Lam, Michael C. Robey, Huaizhong Li |
| 2003 | Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. Lars Grunske |
| 2003 | Applying Data Abstraction to XML Formal Designs. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
| 2003 | Applying Multiple Objective Genetic Algorithms to CDMA Network Planning. Man-Lin Li, Ying Li, Guang-Xing Wang |
| 2003 | Artificial Intelligence Approach to Testing Modules in Hardware and Software Engineering. Vinod Bihari Prasad |
| 2003 | Caching CORBA. Christoph Vilsmeier |
| 2003 | Categorization of Transparent-Motion Patterns Using the Projective Plane. Cicero Mota, Michael Dorr, Ingo Stuke, Erhardt Barth |
| 2003 | Cognitive Issues in Software Requirements Analysis. Thomas Ahlswede, Roger Y. Lee |
| 2003 | Component Contract-Based Process for High Level Design. Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang |
| 2003 | Critical Systems Development with UML: Overview with Automatic Case Study. Jan Jürjens, Johannes Grünbauer |
| 2003 | Data Partition for Text Classification Based on Rough Sets. Daisuke Asai, Yongguang Bao, Naohiro Ishii |
| 2003 | Deductive and Inductive Methods for Program Synthesis. Jaan Penjam, Elena Sanko |
| 2003 | Deriving General Association Rules from XML Data. Qin Ding, Kevin Ricords, Jeremy Lumpkin |
| 2003 | Deterministic Context-Based Security Policies: An Object-Oriented Approach. Ghita Kouadri Mostéfaoui, Jacques Pasquier-Rocha |
| 2003 | Dynamic Adaptive Quality-of-Service Aware Resource Scheduling in Distributed Multimedia Sys-tems. Mohammad Riaz Moghal, Mohammad Saleem Mian |
| 2003 | Dynamic Workload Distribution in Distributed Web Servers System. Mohammad Riaz Moghal, Mohammad Saleem Mian |
| 2003 | ECSSL Protocol Based on 3B Algorithm. Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim |
| 2003 | Efficient (In-)Consistency Management for Heterogeneous Repositories. Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz |
| 2003 | Embracing Distance Learning Using Middleware-based Architecture. Yeong-Tae Song |
| 2003 | Engineering Software Intensive Systems. Manfred Broy |
| 2003 | Estimation of Cooperative Agents Behavior in a Fire Disaster. Kazunori Iwata, Mayumi Miyazaki, Nobuhiro Ito, Naohiro Ishii |
| 2003 | Estimation of Multiple Motions by Block Matching. Ingo Stuke, Til Aach, Erhardt Barth, Cicero Mota |
| 2003 | Experience Outweighs Intelligence: An Investigation into the Use of Ant Colony System for Maza Solving. D. Jones, Dave A. Harrison, Alan J. Davies |
| 2003 | Factory: Statically Type-Safe Integration of Genericity and Reflection. Dirk Draheim, Christof Lutteroth, Gerald Weber |
| 2003 | Fitness Costs of Mutation Rate Adaption and its Application to Optimization of Dynamic Objective Functions. Jan T. Kim |
| 2003 | Formal Framework for Solving Box-Pushing Games. Gihwon Kwon |
| 2003 | Fuzzy Concepts for Adaptation and Decision Making in Sociotechnical Systems. Michael Cebulla |
| 2003 | Incomplete Information Processing for Optimization of Distributed Applications. Alfredo Cristóbal-Salas, Andrei Tchernykh, Jean-Luc Gaudiot |
| 2003 | Information Extraction to Understand Legacy Program. Moon-Sub Song, Moon-Soo Lee, Young-Jong Yang |
| 2003 | Integration of Simulation Based Performance Assessment in a Software Development Process. Michael N. Barth |
| 2003 | List Homomorphism with Accumulation. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2003 | Managing Inconsistencies in UML Specifications. Andrea Zisman, Alexander Kozlenkov |
| 2003 | Multi-Layered Metadata Registry System for Distributed Metadata Management. Dongwon Jeong, Doo-Kwon Baik |
| 2003 | Node-to-Set Disjoint Paths Problem in Burnt Pancake Graphs. Keiichi Kaneko |
| 2003 | Object-oriented Information Model for the Management of MPLS Traffic Engineering based VPN and QoS Services. Taesang Choi, Hyungseok Chung, Bungjoon Lee, Taesoo Jeong |
| 2003 | Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski |
| 2003 | Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany Walter Dosch, Roger Y. Lee |
| 2003 | RBF Networks from Boosted Rules. Juan José Rodríguez, Vanesa Paniego, Leticia Villar, Carlos J. Alonso |
| 2003 | Refactoring a Legacy System Using Components. Eda Marchetti, Francesca Martelli, Andrea Polini |
| 2003 | Representing Knowledge of Resource-bounded Agents. Ho Ngoc Duc |
| 2003 | Safe Implementability of Regular Message Sequence Chart Specifications. Nicolas Baudru, Rémi Morin |
| 2003 | Sama: A Scalable Group Communication Mechanism for Mobile Agents. Hojjat Jafarpour, Nasser Yazdani |
| 2003 | Semantics of Minimally Synchronous Parallel ML. Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski |
| 2003 | Stream Processing on the Grid: an Array Stream Transforming Language. Alexander V. Shafarenko |
| 2003 | Telematics: A Distinctive Discipline. Carlos Delgado Kloos, Arturo Azorra Soloña |
| 2003 | The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. Feng Cheng, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern |
| 2003 | The Role of Contracts and Scenarios in the Software Development Process. Reinhold Plösch |
| 2003 | Towards a Unified Model of Socialitiy in Multiagent Systems. Matthias Nickles, Michael Rovatsos, Wilfried Brauer, Gerhard Weiß |
| 2003 | Using CC/PP to Manage Context Awareness: The @Terminals Approach. Elisabetta Di Nitto, Giordano Sassaroli, Maurilio Zuccalà |
| 2003 | Using a Semantic Web for Process Information and Quality Management. Ronald Hartwig |
| 2003 | Visual Construction of Multi-Agent Systems According to the Agent Component Approach and the Run-Design-Time Concept. Philipp Meier |
| 2003 | Workflow Enactment Model for Next Generation Internet Services. Lee-Sub Lee, Soo-Hyun Park, Doo-Kwon Baik |
| 2003 | XDBC: XML Database Connectivity and API for Native XML Databases. Gongzhu Hu, Qinglan Li |