default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICECCS 2005: Shanghai, China
- 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China. IEEE Computer Society 2005, ISBN 0-7695-2284-X
Introduction
- Message from the General Chairs.
- Welcome from the Program Chairs.
- Organizing Committee.
- Additional Reviewers.
Tutorials
- Jin Song Dong, D. Dan:
Software Engineering Approaches to Semantic Web. 2 - Paolo Nesi:
Multimedia Content Distribution and Protection. 3 - Luciano Baresi
, Sam Guinea:
An Introduction to Self-Healing Web Services. 4
Workshop on SOFL
- Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Framework for SOFL-Based Program Review. 6-7 - Jianping Yao:
An Introduction to Three Perspectives on Formal Specification Review. 8-9 - Fumiko Nagoya, Shaoying Liu, Yuting Chen:
Design of a Tool for Specification-Based Program Review. 10-11 - Xiang Xue:
A Formal Specification Constructing Tool for SOFL. 12-13 - Yao Shen, Haopeng Chen:
Extending SOFL Features for AOP Modeling. 14-15 - Haopeng Chen, Yao Shen, Jianwei Jiang:
Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. 16-17
Workshop on Using Metamodels to Support MDD
- Cesar Gonzalez-Perez:
Tools for an Extended Object Modelling Environment. 20-23 - Jun Kong, Kang Zhang, Jing Dong:
Grammar-Specified Model-Driven Architectures. 24-25 - Jing Liu, Huaikou Miao:
A Strategy for Component-Based Modeling and Refinement. 26-27 - Jean Bézivin, Frédéric Jouault, David Touzet:
Principles, Standards and Tools for Model Engineering. 28-29 - Dae-Kyoo Kim:
Evaluating Conformance of UML Models to Design Patterns. 30-31
Parallel Session: Software Architecture
- Yali Zhu:
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. 37-46 - Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao:
Secure Software Architectures Design by Aspect Orientation. 47-55 - Yali Zhu, Gang Huang, Hong Mei:
Modeling Architecture Based Development in UML. 56-65
Parallel Session: Analysis and Verification (1)
- Guido Menkhaus, Urs Frei, Jorg Wuthrich:
Analysis and Verification of the Interaction Model in Software Design. 67-75 - Rafael Ramírez, Andrew E. Santosa:
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. 76-84 - Oystein Hallaraker, Giovanni Vigna:
Detecting Malicious JavaScript Code in Mozilla. 85-94
Parallel Session: Formal Methods (1)
- Jun Sun, Jin Song Dong:
Extracting FSMs from Object-Z Specifications with History Invariants. 96-105 - Peiyi Tang:
Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. 106-115 - James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin:
Formal Requirements-Based Programming for Complex Systems. 116-125
Parallel Session: Networks (1)
- Lei Wang, Zhiping Chen, Xinhua H. Jiang:
Ringed Petersen Spheres Connected Hypercube Interconnection Networks. 127-131 - Wen Chen, Feiyu Lei, Weinong Wang:
A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. 132-137
Parallel Session: Program Slicing
- Yingzhou Zhang, Baowen Xu:
A Slice Monad Transformer and Its Applications in Program Slicing. 147-154 - Yajuan Pan, Dai Pan, Mei-Hwa Chen:
Slicing Component-Based Systems. 155-164
Parallel Session: Real Time Systems
- Piotr Tomaszewski, Lars Lundberg, Jim Håkansson, Daniel Häggander:
A Cost-Efficient Server Architecture for Real-Time Credit-Control. 166-175 - Jun Li, Fumin Yang, Yansheng Lu:
A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 176-183 - Anton Wijs, Wan J. Fokkink:
From chi-t to µCRL: Combining Performance and Functional Analysis. 184-193
Parallel Session: Analysis and Verification (2)
- Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens:
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. 195-204 - Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai:
Comparing Fault-Proneness Estimation Models. 205-214
Parallel Session: Security
- Gansen Zhao, David W. Chadwick:
Evolving Messaging Systems for Secure Role Based Messaging. 216-223 - Jan Jürjens, Markus Lehrhuber, Guido Wimmel:
Model-Based Design and Analysis of Permission-Based Security. 224-233 - Viktoria Felmetsger, Giovanni Vigna:
Exploiting OS-Level Mechanisms to Implement Mobile Code Security. 234-243
Parallel Session: Web Systems
- Gaoliang Peng, Wenjian Liu, Xutang Zhang:
An Internet-Based System for Setup Planning in Machining Operations. 245-251 - Juan Miguel Gómez, Giner Alor-Hernández, José Oscar Olmedo-Aguirre, Christoph Bussler:
A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. 252-259
Keynote Speech
- Tetsuo Tamai:
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. 261-272
Parallel Session: Component-Based Technologies
- Ching-Cheng Lee, Sudeshna Ghosh:
A Component-Based Approach for JavaCard Runtime System Development. 274-282 - Minghui Zhou, Wenpin Jiao, Hong Mei:
Customizable Framework for Managing Trusted Components Deployed on Middleware. 283-291 - Leonardo Mariani, Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration. 292-301
Parallel Session: Formal Methods (2)
- Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang:
Formal Semantics and Verification for Feature Modeling. 303-312 - Maty Sylla, Frank A. Stomp, Willem P. de Roever:
Verifying Parameterized Refinement. 313-321 - Li Yang, Raimund K. Ege, Huiqun Yu:
Mediation Systems Modeling and Verification. 322-331
Parallel Session: Networks (2)
- Zhihong Huo, Huajing Fang:
Robust H-infinity Filter Design for Networked Control System with Random Time Delays. 333-340 - Li Wang, Zeng-zhi Li, Yanping Chen, Ke Xue:
Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. 341-348 - Deqing Zou, Weizhong Qiang, Xuanhua Shi:
A Formal General Framework and Service Access Model for Service Grid. 349-356
Parallel Session: Software Systems
- (Withdrawn) An Intrusion Detection System for AODV. 358-365
- Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot:
Rapid Prototyping of Complex Interactive Simulation Systems. 366-375
Parallel Session: Wireless Communication
- Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan:
A Study of Secure Communications between Mobile Objects. 377-383 - Mohammad Zib Beiroumi, Villy Bæk Iversen:
Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. 384-393 - Zhigang Zhao, Changqing Gong, Guangxing Wang:
Identification of Faulty Links in LEO/MEO Satellite Communication Networks. 394-400
Parallel Session: Analysis and Verification (3)
- Xuefeng Zhu, Zhi Jin:
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. 402-410 - Xiaoshan Li, Zhiming Liu, Jifeng He:
Consistency Checking of UML Requirements. 411-420 - Wuwei Shen, Weng Liong Low:
Using the Metamodel Mechanism to Support Class Refinement. 421-430
Parallel Session: Testing (1)
- Cheng-Ying Mao, Yansheng Lu:
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. 432-439 - Xin Wang, Zhi-Chang Qi, Shuhao Li:
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. 440-449 - Hui Liang:
Regression Testing of Classes Based on TCOZ Specification. 450-457
Parallel Session: Design
- P. Mattias Weckstén, Magnus Jonsson, Jonas Vasell:
Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. 459-466 - Alexander Lau, Rudolph E. Seviora:
Design Patterns for Software Health Monitoring. 467-476 - Wenpin Jiao, Hong Mei:
Dynamic Architectural Connectors in Cooperative Software Systems. 477-486
Parallel Session: Formal Methods (3)
- Jin Song Dong, Roger Duke, Ping Hao:
Integrating Object-Z with Timed Automata. 488-497 - Ling Liu, Huaikou Miao:
Mutation Operators for Object-Z Specification. 498-506 - Robert Colvin, Lindsay Groves:
Formal Verification of an Array-Based Nonblocking Queue. 507-516
Parallel Session: Testing (2)
- Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews:
A Tool-Supported Approach to Testing UML Design Models. 519-528 - Jun Sun, Jin Song Dong:
Model Checking Live Sequence Charts. 529-538 - W. Eric Wong, Yu Lei, Xiao Ma:
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. 539-548
Parallel Session: Evaluation and Measurement
- Frans Mårtensson, Håkan Grahn, Michael Mattsson:
Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. 550-558 - Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge:
Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. 559-568 - Mauro Pezzè, Davide Tosi, Gian Pietro Picco:
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. 569-578
Parallel Session: Evolution
- Jianmin Jiang, Jinzhao Wu:
The Preservation of Interleaving Equivalences. 580-589 - Mahadevan Subramaniam:
Preserving Consistency of Runtime Monitors across Protocol Changes. 590-599 - Lei Wu, Houari A. Sahraoui, Petko Valtchev:
Coping with Legacy System Migration Complexity. 600-609
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-01 23:09 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:
