10. WORDS 2005: Sedona, AZ, USA

Cover

• Title.
  
• Copyright.
  

Introduction

• Message from the Workshop Chairs.
  
• Message from the Program Chairs.
  
• Workshop Committees.
  

Keynote Addresses

• Raymond A. Paul:
  DoD Towards Software Services. 3-6
  
• Helen Gill:
  Challenges for Critical Embedded Systems. 7-12
  

Security

• Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor:
  A Role-Based Access Control Policy Verification Framework for Real-Time Systems. 13-20
  
• Christof Fetzer, Gert Pfeifer, Trevor Jim:
  Enhancing DNS Security using the SSL Trust Infrastructure. 21-27
  
• Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu:
  An Adaptable Security Framework for Service-based Systems. 28-35
  
• Smithi Piromruen, James B. D. Joshi:
  An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments. 36-48
  

Resources Allocation and Scheduling

• Joseph P. Loyall, Jamie Lawson, Gary Duzan:
  Issues in Providing Quality of Service in a Joint Battlespace Infosphere. 49-58
  
• Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy:
  A Real-Time Distributed Scheduling Service For Middleware Systems. 59-65
  
• Tomoya Enokido, Makoto Takizawa:
  Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler. 66-73
  
• Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
  Deterministic Scheduling for Multithreaded Replicas. 74-81
  
• Uwe Brinkschulte, Mathias Pacher:
  Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction. 82-96
  

Applications

• George F. Hurlburt:
  Development Of The Warfighting Architecture Requirements (War) Tool. 97-104
  
• Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky:
  JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. 105-112
  
• Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky:
  Error Recovery for a Boiler System with OTS PID Controller. 113-120
  
• Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla:
  Real-Time Data Fusion Technique for Validation of an Autonomous System. 121-128
  
• K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou:
  Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming. 129-138
  

Web Services and Service-Oriented Architecture I

• Wei-Tek Tsai, Yinong Chen, Raymond A. Paul:
  Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. 139-147
  
• Y. S. Hong, J. H. No, In Han:
  Evaluation of Fault-tolerant Distributed Web Systems. 148-151
  
• Hong Zhu, Lijun Shan:
  Agent-Oriented Modelling and Specification of Web Services. 152-159
  
• Chen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang:
  A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser. 160-170
  

Web Services and Services-Oriented Architecture II

• Nik Looker, Malcolm Munro, Binka Gwynne, Jie Xu:
  An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures. 171-178
  
• Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai:
  Progressive Ranking and Composition of Web Services Using Covering Arrays. 179-185
  
• Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung:
  A Trustworthy Web Services Framework for Business Processes Integration. 186-196
  

System Design 1

• Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj:
  Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. 197-204
  
• Peter P. Puschner:
  Experiments with WCET-Oriented Programming and the Single-Path Architecture. 205-210
  
• Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa:
  Oparating Systems For Building Robust Embedded SDystem. 211-218
  
• Gilles Muller, Julia L. Lawall, Hervé Duchesne:
  A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. 219-230
  

System Design II

• K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng:
  A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing. 231-240
  
• Roman Obermaisser, Philipp Peti, Hermann Kopetz:
  Virtual Networks in an Integrated Time-Triggered Architecture. 241-253
  
• Sahra Sedigh-Ali, Arif Ghafoor:
  A Graph-Based Model for Component-Based Software Development. 254-262
  

Dependability, Reliability and Robustness I

• Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
  Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. 263-270
  
• Domenico Cotroneo, Armando Migliaccio, Stefano Russo:
  Reliable Monitoring of Network-related Performance Parameters inWireless Environments. 271-278
  
• John Eberhard, Anand Tripathi:
  Object-Based Commutativity Analysis for Real-Time Applications. 279-286
  
• Jan Gustafsson, Andreas Ermedahl, Björn Lisper:
  Towards a Flow Analysis for Embedded System C Programs. 287-300
  

Dependability, Reliability and Robustness II

• Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach:
  A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. 301-311
  
• Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones:
  Model-Based Integration of Safety Analysis and Reliable Software Development. 312-319
  
• Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin:
  Towards a Dependable Component Technology for Embedded System Applications. 320-328
  
• Youhei Tanaka, Tomoya Enokido, Makoto Takizawa:
  Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects. 329-336
  
• Hong Mei, Gang Huang, Wei-Tek Tsai:
  Towards Self-Healing Systems via Dependable Architecture and. 337-346
  

Real-Time Systems

• Andreas Rasche, Andreas Polze:
  Dynamic Reconfiguration of Component-based Real-time Software. 347-354
  
• Vana Kolageraki, Fang Chen:
  On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment Applications. 355-362
  
• Min-Gu Lee, Sunggu Lee:
  Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks. 363-370
  
• Marco A. Ramos, Félix F. Ramos:
  Autonomous Agents and Anticipative Systems. 371-377
  
• Elias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira:
  Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object. 378-388
  

Embedded and Distributed Systems

• Alessandro Cilardo, Antonino Mazzeo, Luigi Romano:
  An FPGA-based Key-Store for Improving the Dependability of Security Services. 389-396
  
• Yunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han:
  Distributed Scalable Location Data Management System Based on the GALIS Architecture. 397-404
  
• Reinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Luci Pirmez, Luiz F. Bacellar:
  A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms. 405-412
  
• Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
  Functional and Non-Functional Properties in a Family of Embedded Operating Systems. 413-420
  

Last update Wed Feb 15 05:22:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page