CSDL - Proceedings C

Title Page iii - Workshops (PDF)

pp. iii

pp. iv

Table of Contents - Workshops (PDF)

pp. v-xii

REFS 2009 Message (PDF)

pp. xiii

ESAS 2009 Message (PDF)

pp. xiv-xvii

RTSOAA 2009 Message (PDF)

pp. xviii

ME 2009 Message (PDF)

pp. xix

SECASA 2009 Message (PDF)

pp. xx

QUORS 2009 Message (PDF)

pp. xxi

STPSA 2009 Message (PDF)

pp. xxii

BINDIS 2009 Message (PDF)

pp. xxiii

CFSE 2009 Message (PDF)

pp. xxiv

SAPSE 2009 Message (PDF)

pp. xxv

IWSC 2009 Message (PDF)

pp. xxvi

CORCS 2009 Message (PDF)

pp. xxvii

IEESD 2009 Message (PDF)

pp. xxviii

STA 2009 Message (PDF)

pp. xxix

Requirements Engineering Needs in a Solution and Infrastructure Improvement Project (Abstract)

pp. 1-2

PDF

Rediscovering Zachman Framework Using Ontology from a Requirement Engineering Perspective (Abstract)

Zhuozhi Chen

Rob Pooley

pp. 3-8

PDF

A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability (Abstract)

Lu Liu

Jie Xu

pp. 9-12

PDF

Decomposition and Traceability in Software Design (Abstract)

Hung-Fu Chang

Stephen C-Y. Lu

pp. 13-18

PDF

Panel on Requirements Engineering for Services (Abstract)

Colette Rolland

pp. 19-24

PDF

Variable Support Based Association Rule Mining (Abstract)

pp. 25-30

PDF

Social Graph Generation & Forecasting Using Social Network Mining (Abstract)

pp. 31-35

PDF

Mobile-Agent Approach for Mobile Code Localization in Ad hoc Networks (Abstract)

pp. 36-39

PDF

Implementing an Mobile Agent Platform for M-Commerce (Abstract)

Xining Li

Guillaume Autran

pp. 40-45

PDF

Semantic Web Enabled Composition of Semantic Web Services (Abstract)

Duygu Çelik

Atilla Elçi

pp. 46-51

PDF

An Architecture for Verification of Access Control Policies with Multi Agent System Ontologies (Abstract)

pp. 52-55

PDF

OWL Manipulation toward Building Semantic Applications and Agents (Abstract)

pp. 56-61

PDF

Agent-Oriented Middleware for Mobile eLearning Services (Abstract)

pp. 62-66

PDF

Real-Time Guarantees in Flexible Advance Reservations (Abstract)

Kleopatra Konstanteli

pp. 67-72

PDF

Respecting Temporal Constraints in Virtualised Services (Abstract)

pp. 73-78

PDF

Building an Enterprise Service Bus for Real-Time SOA: A Messaging Middleware Stack (Abstract)

Luis Garcés-Erice

pp. 79-84

PDF

A Service Broker Providing Real-Time Telecommunications Services for 3rd Party Services (Abstract)

N. Blum

pp. 85-91

PDF

A Complex Event Routing Infrastructure for Distributed Systems (Abstract)

Gabe Wishnie

Hossein Saiedian

pp. 92-95

PDF

Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine (Abstract)

Jacky Estublier

Eric Simon

pp. 96-103

PDF

A Survey of Physiological Monitoring Data Models to Support the Service of Critical Care (Abstract)

Carolyn McGregor

Kathleen P. Smith

pp. 104-109

PDF

Microcontroller-Based AWGNG for Security Enhancement of Embedded Real-Time Web Services (Abstract)

pp. 110-115

PDF

Clustering Versus Shared Nothing: A Case Study (Abstract)

pp. 116-121

PDF

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model (Abstract)

pp. 122-127

PDF

Towards Self-Manageable Cloud Services (Abstract)

Ivona Brandic

pp. 128-133

PDF

Dynamic Service and Data Migration in the Clouds (Abstract)

Wei Hao

I-Ling Yen

Bhavani Thuraisingham

pp. 134-139

PDF

An OSGi Based In-vehicle Gateway Platform Architecture for Improved Sensor Extensibility and Interoperability (Abstract)

pp. 140-147

PDF

Performance Impact Analysis of Two Generic Group Communication APIs (Abstract)

pp. 148-153

PDF

Middleware for RFID Systems: An Overview (Abstract)

pp. 154-159

PDF

Ubá: A Software Product Line Architecture for Grid-Oriented Middleware (Abstract)

Davi Oliveira

Nelson Rosa

pp. 160-165

PDF

Design of MIDA, a Web-Based Diagnostic Application for Hydroelectric Generators (Abstract)

pp. 166-171

PDF

An Algorithm for Mining Frequent Items on Data Stream Using Fading Factor (Abstract)

Ling Chen

Shan Zhang

Li Tu

pp. 172-177

PDF

Impacts Separation Framework for Performance Prediction of Middleware-Based Systems (Abstract)

Xiang Huang

Wenbo Zhang

Bo Zhang

Jun Wei

pp. 178-187

PDF

Context-Aware Trust Management for Peer-to-Peer Mobile Ad-Hoc Networks (Abstract)

pp. 188-193

PDF

A Contextual Guidance Approach to Software Security (Abstract)

pp. 194-199

PDF

AlertMe: A Semantics-Based Context-Aware Notification System (Abstract)

Haridimos Papagiannakis

pp. 200-205

PDF

A Quality-Aware Context Middleware Specification for Context-Aware Computing (Abstract)

Yuanping Li

Ling Feng

pp. 206-211

PDF

Context Analysis of Intensional Languages (Abstract)

Weichang Du

Khaled Ben Hamed

pp. 212-217

PDF

Distributed Eductive Execution of Hybrid Intensional Programs (Abstract)

Joey Paquet

pp. 218-224

PDF

Relaxed Objects - Object Model for Context-Aware Applications (Abstract)

Michal Kopecký

Michal

pp. 225-230

PDF

Cartesian Programming: The TransLucid Programming Language (Abstract)

John Plaice

Blanca Mancilla

pp. 231-236

PDF

Declarative Multithreaded Programming (Abstract)

Blanca Mancilla

John Plaice

pp. 237-242

PDF

Formal Analysis of Services Compatibility (Abstract)

pp. 243-248

PDF

A Perspective on Middleware-Oriented Context-Aware Pervasive Systems (Abstract)

pp. 249-254

PDF

Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design (Abstract)

pp. 255-260

PDF

A Model-Driven Multicore Software Development Environment for Embedded System (Abstract)

pp. 261-268

PDF

Photon: A Domain-Specific Language for Testing Converged Applications (Abstract)

pp. 269-274

PDF

Using Artifact Flow Diagrams to Model Artifact Usage Anomalies (Abstract)

Hwai-Jung Hsu

Feng-Jian Wang

pp. 275-280

PDF

Dual-Container: Extending the EJB2.x Container to Support EJB3.0 (Abstract)

pp. 281-286

PDF

Best Principles in the Design of Shared Software (Abstract)

pp. 287-292

PDF

Domain Analysis in the Reengineering Process of a COBOL System (Abstract)

Richard Millham

Hongji Yang

pp. 293-299

PDF

A Business-Logic Based Framework for Evolving Software Systems (Abstract)

Mohammed Alawairdhi

Hongji Yang

pp. 300-305

PDF

A Constraint Based Bug Checking Approach for Python (Abstract)

pp. 306-311

PDF

Agent Protection Based on the Use of Cryptographic Hardware (Abstract)

pp. 312-317

PDF

Towards Usable Solutions to Graphical Password Hotspot Problem (Abstract)

pp. 318-323

PDF

On Information Flow Forensics in Business Application Scenarios (Abstract)

pp. 324-328

PDF

An Enforcement Architecture for Security and Trust Policies in Federated Web-Service-Based Systems (Abstract)

Zhengping Wu

Lifeng Wang

pp. 329-334

PDF

A Model for Privacy Policy Visualization (Abstract)

pp. 335-340

PDF

The Security Implication of Multiple Observers in a Distributed System (Abstract)

Derek P. Ditch

Bruce M. McMillin

pp. 341-346

PDF

Defending Battery Exhaustion Attacks on Mobile Systems (Abstract)

pp. 347-352

PDF

Muhammad Umair Ahmed Khan

On Selecting Appropriate Development Processes and Requirements Engineering Methods for Secure Software (Abstract)

Mohammed Zulkernine

pp. 353-358

PDF

A Cooperative Framework of Service Chain for Digital Library (Abstract)

pp. 359-364

PDF

A Specialized Meta-scheduler for Business and Applications Constraints Management (Abstract)

Jérémie Chevalier

Stéphane Mouton

pp. 365-370

PDF

Towards Industry-Strength SLA Optimization Capabilities for Service Chains (Abstract)

Yang Li

pp. 371-375

PDF

Matchmaking Using Natural Language Descriptions: Linking Customers with Enterprise Service Descriptions (Abstract)

Joe Geldart

William Song

Yang Li

pp. 376-379

PDF

An Investigation of the Role of Service Level Agreements in Classified Advertisement Websites (Abstract)

Aijaz Soomro

William Song

Yang Li

pp. 380-385

PDF

Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images (Abstract)

Fred Cohen

pp. 386-391

PDF

A Method for Historical Ext3 Inode to Filename Translation on Honeypots (Abstract)

pp. 392-397

PDF

Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer? (Abstract)

Rafael Accorsi

pp. 398-403

PDF

Acer Aspire One Netbooks: A Forensic Challenge (Abstract)

pp. 404-409

PDF

Penetration Testing for Spam Filters (Abstract)

pp. 410-415

PDF

Policy Composition Based on Petri Nets (Abstract)

Hejiao Huang

Hélène Kirchner

pp. 416-421

PDF

Verification of Access Control Policies for REA Business Processes (Abstract)

Vahid R. Karimi

Donald D. Cowan

pp. 422-427

PDF

Towards the Verification of Services Collaboration (Abstract)

Yue Xie

pp. 428-433

PDF

Towards Validating Security Protocol Deployment in the Wild (Abstract)

pp. 434-438

PDF

On a Classification Approach for SOA Vulnerabilities (Abstract)

Lutz Lowis

Rafael Accorsi

pp. 439-444

PDF

SN2K Attacks and Honest Services (Abstract)

Ashish Kundu

pp. 445-450

PDF

PhishCatch - A Phishing Detection Tool (Abstract)

pp. 451-456

PDF

Adaptive Control Framework for Software Components: Case-Based Reasoning Approach (Abstract)

pp. 457-461

PDF

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata (Abstract)

Changyan Zhou

Ratnesh Kumar

pp. 462-467

PDF

T3: Secure, Scalable, Distributed Data Movement and Remote System Control for Enterprise Level Cyber Security (Abstract)

pp. 468-472

PDF

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS) (Abstract)

Hai Hu

pp. 473-478

PDF

Prevention of Sequential Message Loss in CAN Systems (Abstract)

Shengbing Jiang

Ratnesh Kumar

pp. 479-484

PDF

Risk-Based Adaptive Group Testing of Semantic Web Services (Abstract)

Xiaoying Bai

Ron S. Kenett

pp. 485-490

PDF

Optimizing Component-Based Embedded Software (Abstract)

pp. 491-496

PDF

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems (Abstract)

Aida Cauševic

Aneta Vulgarakis

pp. 497-503

PDF

Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain (Abstract)

pp. 504-509

PDF

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring (Abstract)

Yue Lu

pp. 510-515

PDF

An Integrative Approach for Embedded Software Design with UML and Simulink (Abstract)

pp. 516-521

PDF

'State of the Art' in Using Agile Methods for Embedded Systems Development (Abstract)

pp. 522-527

PDF

Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain (Abstract)

pp. 528-533

PDF

Implementing an Effective Test Automation Framework (Abstract)

pp. 534-538

PDF

GUI-Based Testing of Boundary Overflow Vulnerability (Abstract)

O. Kaya

pp. 539-544

PDF

Test Selection Prioritization Strategy (Abstract)

Rajesh Subramanyan

Christof J. Budnik

pp. 545-549

PDF

Automatic Testing of Program Security Vulnerabilities (Abstract)

Hossain Shahriar

Mohammad Zulkernine

pp. 550-555

PDF

A New Mutation Analysis Method for Testing Java Exception Handling (Abstract)

pp. 556-561

PDF

Author Index - Workshops (PDF)

pp. 563-566

Publisher's Information - Workshops (PDF)

pp. 568