default search action
10th 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 B. Romanovsky
Error Recovery for a Boiler System with OTS PID Controller. 113-120 - Bojan Cukic
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
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. 139-147 - Young Sik 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
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
Progressive Ranking and Composition of Web Services Using Covering Arrays. 179-185 - Stephen J. H. Yang
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
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
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. 301-311 - Miguel A. de Miguel
Model-Based Integration of Safety Analysis and Reliable Software Development. 312-319 - Mikael Åkerholm, Anders Möller, Hans Hansson
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 Kalogeraki
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
Autonomous Agents and Anticipative Systems. 371-377 - Elias Teodoro Silva Jr.
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
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
Functional and Non-Functional Properties in a Family of Embedded Operating Systems. 413-420
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 2024-11-18 20:31 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: