Abstract is missing.
- Message from the Workshop Chairs [doi]
- Copyright [doi]
- Workshop Committees [doi]
- Title [doi]
- Message from the Program Chairs [doi]
- DoD Towards Software ServicesRaymond A. Paul. 3-6 [doi]
- Challenges for Critical Embedded SystemsHelen Gill. 7-12 [doi]
- A Role-Based Access Control Policy Verification Framework for Real-Time SystemsBasit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor. 13-20 [doi]
- Enhancing DNS Security using the SSL Trust InfrastructureChristof Fetzer, Gert Pfeifer, Trevor Jim. 21-27 [doi]
- An Adaptable Security Framework for Service-based SystemsStephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu. 28-35 [doi]
- An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain EnvironmentsSmithi Piromruen, James B. D. Joshi. 36-48 [doi]
- Issues in Providing Quality of Service in a Joint Battlespace InfosphereJoseph P. Loyall, Jamie Lawson, Gary Duzan. 49-58 [doi]
- A Real-Time Distributed Scheduling Service For Middleware SystemsJiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy. 59-65 [doi]
- Concurrency Control on Distributed Objects using Role Ordering (RO) SchedulerTomoya Enokido, Makoto Takizawa. 66-73 [doi]
- Deterministic Scheduling for Multithreaded ReplicasWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith. 74-81 [doi]
- Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency PredictionUwe Brinkschulte, Mathias Pacher. 82-96 [doi]
- Development Of The Warfighting Architecture Requirements (War) ToolGeorge F. Hurlburt. 97-104 [doi]
- JavaMaC and Runtime Monitoring for Geoinformatics Grid ServicesAnn Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky. 105-112 [doi]
- Error Recovery for a Boiler System with OTS PID ControllerTom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky. 113-120 [doi]
- Real-Time Data Fusion Technique for Validation of an Autonomous SystemBojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla. 121-128 [doi]
- Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO ProgrammingK. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou. 129-138 [doi]
- Specification-Based Verification and Validation of Web Services and Service-Oriented Operating SystemsWei-Tek Tsai, Yinong Chen, Raymond A. Paul. 139-147 [doi]
- Evaluation of Fault-tolerant Distributed Web SystemsY. S. Hong, J. H. No, In Han. 148-151 [doi]
- Agent-Oriented Modelling and Specification of Web ServicesHong Zhu, Lijun Shan. 152-159 [doi]
- A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web BrowserChen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang. 160-170 [doi]
- An Ontology-Based Approach for Determining the Dependability of Service-Oriented ArchitecturesNik Looker, Malcolm Munro, Binka Gwynne, Jie Xu. 171-178 [doi]
- Progressive Ranking and Composition of Web Services Using Covering ArraysCharles J. Colbourn, Yinong Chen, Wei-Tek Tsai. 179-185 [doi]
- A Trustworthy Web Services Framework for Business Processes IntegrationStephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung. 186-196 [doi]
- Specification, Analysis and Implementation of Architectural Patterns for Dependable Software SystemsStephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj. 197-204 [doi]
- Experiments with WCET-Oriented Programming and the Single-Path ArchitecturePeter P. Puschner. 205-210 [doi]
- Oparating Systems For Building Robust Embedded SDystemTatsuo Nakajima, Midori Sugaya, Shuichi Oikawa. 211-218 [doi]
- A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance EvaluationGilles Muller, Julia L. Lawall, Hervé Duchesne. 219-230 [doi]
- A Framework for Middleware Supporting Real-Time Wide-Area Distributed ComputingK. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng. 231-240 [doi]
- Virtual Networks in an Integrated Time-Triggered ArchitectureRoman Obermaisser, Philipp Peti, Hermann Kopetz. 241-253 [doi]
- A Graph-Based Model for Component-Based Software DevelopmentSahra Sedigh-Ali, Arif Ghafoor. 254-262 [doi]
- Empirical Assessment of Machine Learning based Software Defect Prediction TechniquesVenkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. 263-270 [doi]
- Reliable Monitoring of Network-related Performance Parameters inWireless EnvironmentsDomenico Cotroneo, Armando Migliaccio, Stefano Russo. 271-278 [doi]
- Object-Based Commutativity Analysis for Real-Time ApplicationsJohn Eberhard, Anand Tripathi. 279-286 [doi]
- Towards a Flow Analysis for Embedded System C ProgramsJan Gustafsson, Andreas Ermedahl, Björn Lisper. 287-300 [doi]
- A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSPVictor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach. 301-311 [doi]
- Model-Based Integration of Safety Analysis and Reliable Software DevelopmentMiguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones. 312-319 [doi]
- Towards a Dependable Component Technology for Embedded System ApplicationsMikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin. 320-328 [doi]
- Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed ObjectsYouhei Tanaka, Tomoya Enokido, Makoto Takizawa. 329-336 [doi]
- Towards Self-Healing Systems via Dependable Architecture andHong Mei, Gang Huang, Wei-Tek Tsai. 337-346 [doi]
- Dynamic Reconfiguration of Component-based Real-time SoftwareAndreas Rasche, Andreas Polze. 347-354 [doi]
- On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment ApplicationsVana Kolageraki, Fang Chen. 355-362 [doi]
- Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc NetworksMin-Gu Lee, Sunggu Lee. 363-370 [doi]
- Autonomous Agents and Anticipative SystemsMarco A. Ramos, Félix F. Ramos. 371-377 [doi]
- Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler ObjectElias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira. 378-388 [doi]
- An FPGA-based Key-Store for Improving the Dependability of Security ServicesAlessandro Cilardo, Antonino Mazzeo, Luigi Romano. 389-396 [doi]
- Distributed Scalable Location Data Management System Based on the GALIS ArchitectureYunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han. 397-404 [doi]
- A Framework for Preparing Experimental Evaluation of Rerouting MechanismsReinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Luci Pirmez, Luiz F. Bacellar. 405-412 [doi]
- Functional and Non-Functional Properties in a Family of Embedded Operating SystemsDaniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk. 413-420 [doi]