10. WORDS 2005: Sedona, AZ, USA
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. IEEE Computer Society 2005 ISBN 0-7695-2347-1
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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team