Sheikh Iqbal Ahamed, Elisa Bertino, Carl K. Chang, Vladimir Getov, Lin Liu, Hua Ming, Rajesh Subramanyan (Eds.):
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, 20-24 July 2009.
IEEE Computer Society 2009
33. COMPSAC 2009:
Seattle, Washington, USA
Volume 1 - (Volume 2)
Location Based Services I (Privacy Protection in Location Based Services)
Location Based Services II (Privacy Protection in Location Based Services)
Software Evolution I (Software Architecture Development and Evaluation)
Testing I (Context-aware Software Analysis)
Testing II (Modularization, Composition and Reuse)
Testing III (Testing Economics, Models and Analysis)
Testing IV (Testing Theory, Methodology and Application)
Software Quality I (Software Quality Measurement, Modelling and Analysis)
Software Quality II (Software and Services Reliability Models)
: Towards Transaction-Based Reliable Service Compositions.
Software Quality III (Software Quality Improvement Technique)
Social Networks I (Collaborative Networks)
Social Networks II (Trust and Contracting in Social Networks)
Embedded Systems I (Design and Verification of Embedded Systems)
Requirements Engineering I (Requirements Structure, Analysis, and Traceability)
Requirements Engineering II (Process Analysis and Service Management)
Security I (Security Analysis and Protection Techniques)
: Analyzing Semantics of Documents by Using a Program Analysis Method.
Security II (Intelligent Applications)
Software Architecture I (Software Architecture Development and Scheduling)
Software Architecture II (Software Architecture Specification and Analysis)
Software Architecture III (Analysis of Software Updates)
Mobile and Pervasive Computing I (RFID, Wireless Network and Services)
Mobile and Pervasive Computing II (Software Testing and Re-engineering)
Formal Methods (Formal Specification and Model Checking)
Education and Learning (Domain Specific Software Architecture Design)
Fast Abstracts I (Formal Methods, Software Tools, Robotics)
: The Java Data Mining Package - A Data Processing Library for Java.
Fast Abstracts II (Software Engineering, MDA)
Clenio F. Salviano
: A Multi-model Process Improvement Methodology Driven by Capability Profiles.
: Towards a Resource-Aware Component Model for Embedded Systems.
: Efficient Management of Consistent Backups in a Distributed File System.
: On Expressing Different Concurrency Paradigms on Virtual Execution Systems.
, Sahra Sedigh
, Ann Miller
: A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research.