Abstract is missing.
- Engineering Software Intensive SystemsManfred Broy. 1-5
- Component Contract-Based Process for High Level DesignJi-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang. 6-11
- An Architecture Model for Component Composition and IntegrationRoger Y. Lee, Karthick Jenadoss. 12-19
- A Component Based Architecture for Coupling Optimization and Simulation Software in a Distributed EnvironmentMarkus Krosche, Rainer Niekamp, Hermann G. Matthies. 20-23
- Refactoring a Legacy System Using ComponentsEda Marchetti, Francesca Martelli, Andrea Polini. 24-31
- Visual Construction of Multi-Agent Systems According to the Agent Component Approach and the Run-Design-Time ConceptPhilipp Meier. 32-46
- Workflow Enactment Model for Next Generation Internet ServicesLee-Sub Lee, Soo-Hyun Park, Doo-Kwon Baik. 47-54
- Achieving Flow Fairness in DiffServ Class: Per-flow Fair Admission Control over Differentiated Service NetworkMing Li, Doan B. Hoang. 55-61
- Experience Outweighs Intelligence: An Investigation into the Use of Ant Colony System for Maza SolvingD. Jones, Dave A. Harrison, Alan J. Davies. 62-67
- Fitness Costs of Mutation Rate Adaption and its Application to Optimization of Dynamic Objective FunctionsJan T. Kim. 68-74
- Applying Multiple Objective Genetic Algorithms to CDMA Network PlanningMan-Lin Li, Ying Li, Guang-Xing Wang. 75-81
- Fuzzy Concepts for Adaptation and Decision Making in Sociotechnical SystemsMichael Cebulla. 82-89
- The Role of Contracts and Scenarios in the Software Development ProcessReinhold Plösch. 90-97
- Integration of Simulation Based Performance Assessment in a Software Development ProcessMichael N. Barth. 98-105
- Using a Semantic Web for Process Information and Quality ManagementRonald Hartwig. 106-112
- Cognitive Issues in Software Requirements AnalysisThomas Ahlswede, Roger Y. Lee. 113-119
- Factory: Statically Type-Safe Integration of Genericity and ReflectionDirk Draheim, Christof Lutteroth, Gerald Weber. 120-127
- Managing Inconsistencies in UML SpecificationsAndrea Zisman, Alexander Kozlenkov. 128-138
- Caching CORBAChristoph Vilsmeier. 139-145
- A MOF-based Environment to Generate a User-Customizable Case ToolJihyun Lee, You-Hee Choi, Gyu-Sang Shin. 146-151
- The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security SolutionFeng Cheng 0002, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern. 152-159
- Deterministic Context-Based Security Policies: An Object-Oriented ApproachGhita Kouadri Mostéfaoui, Jacques Pasquier-Rocha. 160-165
- ECSSL Protocol Based on 3B AlgorithmHaeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim. 166-169
- A Study on the Relationship of Assurance Requirements between K Level of KISEC and EAL Level of CCTai-Hoon Kim, Jae-Sung Kim, Eun-Kyoung Yi, Haeng-Kon Kim. 170-176
- Towards a Unified Model of Socialitiy in Multiagent SystemsMatthias Nickles, Michael Rovatsos, Wilfried Brauer, Gerhard Weiß. 177-187
- Deductive and Inductive Methods for Program SynthesisJaan Penjam, Elena Sanko. 188-195
- A Formalism for Distributed Systems with an Accurate Graphical RepresentationGabriel Ciobanu, Mihai Rotaru. 196-202
- A Higher Order -Calculus Specification for a Mobile Agent in JINIAndreea Barbu, Fabrice Mourlin. 203-209
- Safe Implementability of Regular Message Sequence Chart SpecificationsNicolas Baudru, Rémi Morin. 210-217
- An Industrial Experience in Comparing Manual vs. Automatic Test Cases GenerationFrancesca Basanieri, Pierpaolo Iani, Gaetano Lombardi, Eda Marchetti. 218-225
- An Evolutionary Approach for Optimisation of State-based Test Suites for Software SystemsHuaizhong Li, Chiou Peng Lam. 226-233
- An Experiment in the Generation of Executable Test Sequences for the Inres ProtocolAnthony Chung, Tao Huang. 234-241
- Application of AI for Automation of Software TestingChiou Peng Lam, Michael C. Robey, Huaizhong Li. 242-249
- List Homomorphism with AccumulationKazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. 250-259
- Semantics of Minimally Synchronous Parallel MLMyrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski. 260-267
- Stream Processing on the Grid: an Array Stream Transforming LanguageAlexander V. Shafarenko. 268-276
- Incomplete Information Processing for Optimization of Distributed ApplicationsAlfredo Cristóbal-Salas, Andrei Tchernykh, Jean-Luc Gaudiot. 277-284
- Node-to-Set Disjoint Paths Problem in Burnt Pancake GraphsKeiichi Kaneko. 285-292
- A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel MLFrédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. 293-300
- Pattern Matching of Parallel Values in Bulk Synchronous Parallel MLFrédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. 301-308
- Formal Framework for Solving Box-Pushing GamesGihwon Kwon. 309-314
- Applying Data Abstraction to XML Formal DesignsMaría-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel. 315-321
- A Study on the Verification Tool of Coding ConventionsWoo-Mok Kim, Tae-Hee Gwak, Kyung-Eun Park. 322-328
- XDBC: XML Database Connectivity and API for Native XML DatabasesGongzhu Hu, Qinglan Li. 329-336
- Dynamic Workload Distribution in Distributed Web Servers SystemMohammad Riaz Moghal, Mohammad Saleem Mian. 337-342
- A Framework for Software Engineering MetricsKiumi Akingbehin. 343-347
- Deriving General Association Rules from XML DataQin Ding, Kevin Ricords, Jeremy Lumpkin. 348-352
- A Comparison of Simulated Annealing and Tabu Search in Image SegmentationChih-Cheng Hung, Randy Daniel, Tommy Coleman. 353-357
- Estimation of Multiple Motions by Block MatchingIngo Stuke, Til Aach, Erhardt Barth, Cicero Mota. 358-362
- Categorization of Transparent-Motion Patterns Using the Projective PlaneCicero Mota, Michael Dorr, Ingo Stuke, Erhardt Barth. 363-369
- Efficient (In-)Consistency Management for Heterogeneous RepositoriesJan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz. 370-377
- Information Extraction to Understand Legacy ProgramMoon-Sub Song, Moon-Soo Lee, Young Jong Yang. 378-381
- Data Partition for Text Classification Based on Rough SetsDaisuke Asai, Yongguang Bao, Naohiro Ishii. 382
- Multi-Layered Metadata Registry System for Distributed Metadata ManagementDongwon Jeong, Doo-Kwon Baik. 389-397
- A Framework for Developing Applications for Ad-hoc EnvironmentsMichael Lauer, Michael Matthes, Oswald Drobnik. 397-404
- Embracing Distance Learning Using Middleware-based ArchitectureYeong-Tae Song. 405-412
- Using CC/PP to Manage Context Awareness: The @Terminals ApproachElisabetta Di Nitto, Giordano Sassaroli, Maurilio Zuccalà. 413-420
- Telematics: A Distinctive DisciplineCarlos Delgado Kloos, Arturo Azorra Soloña. 421-423
- A Vehicle Structure Based Software ArchitectureChristoph Falk, Thomas Grechenig, Wolfgang Zuser. 424-429
- An Integrated Design Environment for Collaborative TailoringVolkmar Pipek. 430-438
- Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture SpecificationLars Grunske. 439-445
- A Decision-Centric Approach to Software Architecture EvaluationHeeseok Choi, Keunhyuk Yeom. 446-453
- Artificial Intelligence Approach to Testing Modules in Hardware and Software EngineeringVinod B. Prasad. 454-459
- RBF Networks from Boosted RulesJuan José Rodríguez, Vanesa Paniego, Leticia Villar, Carlos J. Alonso. 460-465
- Representing Knowledge of Resource-bounded AgentsHo Ngoc Duc. 466-471
- Estimation of Cooperative Agents Behavior in a Fire DisasterKazunori Iwata, Mayumi Miyazaki, Nobuhiro Ito, Naohiro Ishii. 472-478
- A QoS-guaranteed DiffServ-aware-MPLS VPN and its Network Management SystemYoungtak Kim, Hyung-Woo Choi, Hyo-Sung Kim. 479-487
- Object-oriented Information Model for the Management of MPLS Traffic Engineering based VPN and QoS ServicesTaesang Choi, Hyungseok Chung, Bungjoon Lee, Taesoo Jeong. 488-485
- Dynamic Adaptive Quality-of-Service Aware Resource Scheduling in Distributed Multimedia Sys-temsMohammad Riaz Moghal, Mohammad Saleem Mian. 496-503
- Sama: A Scalable Group Communication Mechanism for Mobile AgentsHojjat Jafarpour, Nasser Yazdani. 504-511
- Critical Systems Development with UML: Overview with Automatic Case StudyJan Jürjens, Johannes Grünbauer. 512-517