default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SNPD 2003: Lübeck, Germany
- Walter Dosch, Roger Y. Lee:
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. ACIS 2003, ISBN 0-9700776-7-X
Invited Speaker
- Manfred Broy:
Engineering Software Intensive Systems. SNPD 2003: 1-5
Component-Based Software Engineering
- Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang:
Component Contract-Based Process for High Level Design. SNPD 2003: 6-11 - Roger Y. Lee, Karthick Jenadoss:
An Architecture Model for Component Composition and Integration. SNPD 2003: 12-19 - Markus Krosche, Rainer Niekamp, Hermann G. Matthies:
A Component Based Architecture for Coupling Optimization and Simulation Software in a Distributed Environment. SNPD 2003: 20-23 - Eda Marchetti, Francesca Martelli, Andrea Polini:
Refactoring a Legacy System Using Components. SNPD 2003: 24-31
Agents and Internet Technology
- Philipp Meier:
Visual Construction of Multi-Agent Systems According to the Agent Component Approach and the Run-Design-Time Concept. SNPD 2003: 32-46 - Lee-Sub Lee, Soo-Hyun Park, Doo-Kwon Baik:
Workflow Enactment Model for Next Generation Internet Services. SNPD 2003: 47-54 - Ming Li, Doan B. Hoang:
Achieving Flow Fairness in DiffServ Class: Per-flow Fair Admission Control over Differentiated Service Network. SNPD 2003: 55-61
Artificial Intelligence I
- D. Jones, Dave A. Harrison, Alan J. Davies:
Experience Outweighs Intelligence: An Investigation into the Use of Ant Colony System for Maza Solving. SNPD 2003: 62-67 - Jan T. Kim:
Fitness Costs of Mutation Rate Adaption and its Application to Optimization of Dynamic Objective Functions. SNPD 2003: 68-74 - Man-Lin Li, Ying Li, Guang-Xing Wang:
Applying Multiple Objective Genetic Algorithms to CDMA Network Planning. SNPD 2003: 75-81 - Michael Cebulla:
Fuzzy Concepts for Adaptation and Decision Making in Sociotechnical Systems. SNPD 2003: 82-89
Software Process
- Reinhold Plösch:
The Role of Contracts and Scenarios in the Software Development Process. SNPD 2003: 90-97 - Michael N. Barth:
Integration of Simulation Based Performance Assessment in a Software Development Process. SNPD 2003: 98-105 - Ronald Hartwig:
Using a Semantic Web for Process Information and Quality Management. SNPD 2003: 106-112 - Thomas Ahlswede, Roger Y. Lee:
Cognitive Issues in Software Requirements Analysis. SNPD 2003: 113-119
Object-oriented Concepts and Middleware
- Dirk Draheim, Christof Lutteroth, Gerald Weber:
Factory: Statically Type-Safe Integration of Genericity and Reflection. SNPD 2003: 120-127 - Andrea Zisman, Alexander Kozlenkov:
Managing Inconsistencies in UML Specifications. SNPD 2003: 128-138 - Christoph Vilsmeier:
Caching CORBA. SNPD 2003: 139-145 - Jihyun Lee, You-Hee Choi, Gyu-Sang Shin:
A MOF-based Environment to Generate a User-Customizable Case Tool. SNPD 2003: 146-151
Security
- Feng Cheng, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern:
The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. SNPD 2003: 152-159 - Ghita Kouadri Mostéfaoui, Jacques Pasquier-Rocha:
Deterministic Context-Based Security Policies: An Object-Oriented Approach. SNPD 2003: 160-165 - Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim:
ECSSL Protocol Based on 3B Algorithm. SNPD 2003: 166-169 - Tai-Hoon Kim, Jae-Sung Kim, Eun-Kyoung Yi, Haeng-Kon Kim:
A Study on the Relationship of Assurance Requirements between K Level of KISEC and EAL Level of CC. SNPD 2003: 170-176
Invited Speaker
- Matthias Nickles, Michael Rovatsos, Wilfried Brauer, Gerhard Weiß:
Towards a Unified Model of Socialitiy in Multiagent Systems. SNPD 2003: 177-187
Formal Specification, Synthesis, and Implementation
- Jaan Penjam, Elena Sanko:
Deductive and Inductive Methods for Program Synthesis. SNPD 2003: 188-195 - Gabriel Ciobanu, Mihai Rotaru:
A Formalism for Distributed Systems with an Accurate Graphical Representation. SNPD 2003: 196-202 - Andreea Barbu, Fabrice Mourlin:
A Higher Order -Calculus Specification for a Mobile Agent in JINI. SNPD 2003: 203-209 - Nicolas Baudru, Rémi Morin:
Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217
Testing
- Francesca Basanieri, Pierpaolo Iani, Gaetano Lombardi, Eda Marchetti:
An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. SNPD 2003: 218-225 - Huaizhong Li, Chiou Peng Lam:
An Evolutionary Approach for Optimisation of State-based Test Suites for Software Systems. SNPD 2003: 226-233 - Anthony Chung, Tao Huang:
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. SNPD 2003: 234-241 - Chiou Peng Lam, Michael C. Robey, Huaizhong Li:
Application of AI for Automation of Software Testing. SNPD 2003: 242-249
High-Level Approaches to Parallel and Distributed Computing
- Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
List Homomorphism with Accumulation. SNPD 2003: 250-259 - Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267 - Alexander V. Shafarenko:
Stream Processing on the Grid: an Array Stream Transforming Language. SNPD 2003: 268-276 - Alfredo Cristóbal-Salas, Andrei Tchernykh, Jean-Luc Gaudiot:
Incomplete Information Processing for Optimization of Distributed Applications. SNPD 2003: 277-284
Parallel Computing
- Keiichi Kaneko:
Node-to-Set Disjoint Paths Problem in Burnt Pancake Graphs. SNPD 2003: 285-292 - Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD 2003: 293-300 - Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD 2003: 301-308
Model Checking and Code Management
- Gihwon Kwon:
Formal Framework for Solving Box-Pushing Games. SNPD 2003: 309-314 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321 - Woo-Mok Kim, Tae-Hee Gwak, Kyung-Eun Park:
A Study on the Verification Tool of Coding Conventions. SNPD 2003: 322-328
Data Bases and Data Engineering
- Gongzhu Hu, Qinglan Li:
XDBC: XML Database Connectivity and API for Native XML Databases. SNPD 2003: 329-336 - Mohammad Riaz Moghal, Mohammad Saleem Mian:
Dynamic Workload Distribution in Distributed Web Servers System. SNPD 2003: 337-342 - Kiumi Akingbehin:
A Framework for Software Engineering Metrics. SNPD 2003: 343-347 - Qin Ding, Kevin Ricords, Jeremy Lumpkin:
Deriving General Association Rules from XML Data. SNPD 2003: 348-352
Image Processing
- Chih-Cheng Hung, Randy Daniel, Tommy L. Coleman:
A Comparison of Simulated Annealing and Tabu Search in Image Segmentation. SNPD 2003: 353-357 - Ingo Stuke, Til Aach, Erhardt Barth, Cicero Mota:
Estimation of Multiple Motions by Block Matching. SNPD 2003: 358-362 - Cicero Mota, Michael Dorr, Ingo Stuke, Erhardt Barth:
Categorization of Transparent-Motion Patterns Using the Projective Plane. SNPD 2003: 363-369
Information Management
- Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz:
Efficient (In-)Consistency Management for Heterogeneous Repositories. SNPD 2003: 370-377 - Moon-Sub Song, Moon-Soo Lee, Young-Jong Yang:
Information Extraction to Understand Legacy Program. SNPD 2003: 378-381 - Daisuke Asai, Yongguang Bao, Naohiro Ishii:
Data Partition for Text Classification Based on Rough Sets. SNPD 2003: 382- - Dongwon Jeong, Doo-Kwon Baik:
Multi-Layered Metadata Registry System for Distributed Metadata Management. SNPD 2003: 389-397
Network-based Services
- Michael Lauer, Michael Matthes, Oswald Drobnik:
A Framework for Developing Applications for Ad-hoc Environments. SNPD 2003: 397-404 - Yeong-Tae Song:
Embracing Distance Learning Using Middleware-based Architecture. SNPD 2003: 405-412 - Elisabetta Di Nitto, Giordano Sassaroli, Maurilio Zuccalà:
Using CC/PP to Manage Context Awareness: The @Terminals Approach. SNPD 2003: 413-420
Invited Speaker
- Carlos Delgado Kloos, Arturo Azorra Soloña:
Telematics: A Distinctive Discipline. SNPD 2003: 421-423
Software Architectures
- Christoph Falk, Thomas Grechenig, Wolfgang Zuser:
A Vehicle Structure Based Software Architecture. SNPD 2003: 424-429 - Volkmar Pipek:
An Integrated Design Environment for Collaborative Tailoring. SNPD 2003: 430-438 - Lars Grunske:
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. SNPD 2003: 439-445 - Heeseok Choi, Keunhyuk Yeom:
A Decision-Centric Approach to Software Architecture Evaluation. SNPD 2003: 446-453
Artificial Intelligence II
- Vinod Bihari Prasad:
Artificial Intelligence Approach to Testing Modules in Hardware and Software Engineering. SNPD 2003: 454-459 - Juan José Rodríguez, Vanesa Paniego, Leticia Villar, Carlos J. Alonso:
RBF Networks from Boosted Rules. SNPD 2003: 460-465 - Ho Ngoc Duc:
Representing Knowledge of Resource-bounded Agents. SNPD 2003: 466-471 - Kazunori Iwata, Mayumi Miyazaki, Nobuhiro Ito, Naohiro Ishii:
Estimation of Cooperative Agents Behavior in a Fire Disaster. SNPD 2003: 472-478
QoS-guaranteed Networking Technologies for Wired and Wireless Networks
- Youngtak Kim, Hyung-Woo Choi, Hyo-Sung Kim:
A QoS-guaranteed DiffServ-aware-MPLS VPN and its Network Management System. SNPD 2003: 479-487 - Taesang Choi, Hyungseok Chung, Bungjoon Lee, Taesoo Jeong:
Object-oriented Information Model for the Management of MPLS Traffic Engineering based VPN and QoS Services. SNPD 2003: 488-485 - Mohammad Riaz Moghal, Mohammad Saleem Mian:
Dynamic Adaptive Quality-of-Service Aware Resource Scheduling in Distributed Multimedia Sys-tems. SNPD 2003: 496-503 - Hojjat Jafarpour, Nasser Yazdani:
Sama: A Scalable Group Communication Mechanism for Mobile Agents. SNPD 2003: 504-511
Tutorial
- Jan Jürjens, Johannes Grünbauer:
Critical Systems Development with UML: Overview with Automatic Case Study. SNPD 2003: 512-517
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
