1. Home
  2. Proceedings
  3. ISORC
  4. ISORC 2009
Default Cover Image

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

March 17 2009 to March 20 2009

Tokyo

Table of Contents

Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-viii
Papers
Secondary reviewersFreely available from IEEE.pp. xiv
Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYSFull-text access may be available. Sign in or learn about subscription options.pp. 3-11
by Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Message from the Symposium Co-ChairsFreely available from IEEE.pp. ix
Papers
Message from the Program Co-ChairsFreely available from IEEE.pp. x
Papers
Conference CommitteesFreely available from IEEE.pp. xi-xiii
Papers
Delivering Sustainable Capability on Evolutionary Service-oriented ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 12-19
by Lu Liu, Duncan Russell, David Webster, Zongyang Luo, Colin Venters, Jie Xu, John K. Davies
Papers
Towards an Open Dependable Operating SystemFull-text access may be available. Sign in or learn about subscription options.pp. 20-27
by Yutaka Ishikawa, Hajime Fujita, Toshiyuki Maeda, Motohiko Matsuda, Midori Sugaya, Mitsuhisa Sato, Toshihiro Hanawa, Shinichi Miura, Taisuke Boku, Yuki Kinebuchi, Lei Sun, Tatsuo Nakajima, Jin Nakazawa, Hideyuki Tokuda
Papers
JEOPARD -- Java Environment for Parallel Real-Time DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 28-36
by Fridtjof Siebert
Papers
Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 37-44
by Terry Tidwell, Xiuyu Gao, Huang-Ming Huang, Chenyang Lu, Shirley Dyke, Christopher Gill
Papers
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 47-54
by Sumant Tambe, Akshay Dabholkar, Aniruddha Gokhale
Papers
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 55-62
by Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed
Papers
Embedded JIT Compilation with CACAO on YARIFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
by Florian Brandner, Tommy Thorn, Martin Schoeberl
Papers
A Document Centric Framework for Building Distributed Smart Object SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 71-79
by Fahim Kawsar, Tatsuo Nakajima
Papers
A Reconfigurable Virtual Storage DeviceFull-text access may be available. Sign in or learn about subscription options.pp. 80-87
by Su-Fang Hsiao, Pi-Cheng Hsiu, Tei-Wei Kuo
Papers
Model-Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software CrisisFull-text access may be available. Sign in or learn about subscription options.pp. 91-92
by Uwe Brinkschulte
Papers
Model-Driven Design and Organic Computing -- Two Different but Possibly Accordable Concepts for the Design of Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 93-94
by Dietmar Fey
Papers
Organic Computing and Model-Driven Engineering in Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 95-96
by Mike Hinchey, Roy Sterritt
Papers
Model Driven Design and Organic Computing -- From the Viewpoint of Application ProductionFull-text access may be available. Sign in or learn about subscription options.pp. 97-98
by Tomoji Kishi
Papers
Model Driven Engineering versus Organic Computing, Two Complementary ApproachesFull-text access may be available. Sign in or learn about subscription options.pp. 99-100
by Fabrice Kordon
Papers
Model-Driven Design and Organic Computing -- Combinable Strategies?Full-text access may be available. Sign in or learn about subscription options.pp. 101
by Peter Puschner, Raimund Kirner
Papers
Project Report: Toward the Realization of Highly Reliable Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 105-111
by Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa
Papers
HELISCOPE Project: Research Goal and Survey on Related TechnologiesFull-text access may be available. Sign in or learn about subscription options.pp. 112-118
by Doo-Hyun Kim, Kodirov Nodir, Chun-Hyon Chang, Jung-Guk Kim
Papers
Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AISTFull-text access may be available. Sign in or learn about subscription options.pp. 119-124
by Yoshiki Kinoshita
Papers
Property Preservation and Composition with Guarantees: From ASSERT to CHESSFull-text access may be available. Sign in or learn about subscription options.pp. 125-132
by Tullio Vardanega
Papers
Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web SystemFull-text access may be available. Sign in or learn about subscription options.pp. 135-142
by John S. Kinnebrew, William R. Otte, Nishanth Shankaran, Gautam Biswas, Douglas C. Schmidt
Papers
Real-Time Scheduling of Weighted Jobs with Multiple Feasible IntervalsFull-text access may be available. Sign in or learn about subscription options.pp. 143-147
by Jun Wu, Jian-Jia Chen
Papers
Achieving High-Level QoS in Multi-Party Video-Conferencing Systems via Exploitation of Global TimeFull-text access may be available. Sign in or learn about subscription options.pp. 151-160
by Sheng Liu, K.H. Kim, Zhen Zhang, Seok-Pil Lee, Kee-Wook Rim
Papers
Extended RT-Component Framework for RT-MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 161-168
by Hiroyuki Chishiro, Yuji Fujita, Akira Takeda, Yuta Kojima, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki
Papers
Quality of Service Composition and Adaptability of Software ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 169-173
by Javier F. Briones, Miguel A. de Miguel, A. Alonso, Juan Pedro Silva
Papers
New Methods and Tools for Developing Real-Time SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 177-178
by Bran Selic
Papers
Robust Mesh-Based Data Delivery over Multiple Tree-Shaped Routes in P2P Overlay NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 181-187
by Suphakit Awiphan, Su Zhou, Jiro Katto
Papers
Realization of Fault-Tolerant Home Network Management Middleware with the TMO Structuring Approach and an Integration of Fault Detection and Reconfiguration MechanismsFull-text access may be available. Sign in or learn about subscription options.pp. 188-197
by Kane Kim, Qian Zhou, Jing Qian, Kyung-Deok Moon, Jun Hee Park, Young-Sung Son, Chang-Eun Lee, Tai-Yeon Ku
Papers
Multimedia Chat for Helpdesks: A Requirements Study, a Practical SOA Architecture, and an Interface PrototypeFull-text access may be available. Sign in or learn about subscription options.pp. 198-205
by Zon-Yin Shae, Tony Bergstrom, Claudio Pinhanez, Mark Podlaseck
Papers
Communication Primitives for Real-Time Distributed Synchronization over Small Area NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 206-210
by Sang-Hun Lee, Hyun-Wook Jin
Papers
An Efficient TCP/IP Offload Embedded System with Deterministic Buffering ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 211-215
by Shen-Ming Chung, Chun-Yi Li, Shun-Chieh Lin, Hsu-Cheng Lin, Hsiao-Hui Lee
Papers
[Roster]Freely available from IEEE.pp. 334
Papers
RealSpec: An Executable Specification Language for Modeling Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 219-227
by Amir A. Khwaja, Joseph E. Urban
Papers
From Requirements to Code RevisitedFull-text access may be available. Sign in or learn about subscription options.pp. 228-235
by Tewfik Ziadi, Xavier Blanc, Amine Raji
Papers
Component Based Middleware-Synthesis for AUTOSAR Basic SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 236-243
by Dietmar Schreiner, Markus Schordan, Karl M. Göschka
Papers
Estimation of Real-Time Software Code Size using COSMIC FSMFull-text access may be available. Sign in or learn about subscription options.pp. 244-248
by Kenneth Lind, Rogardt Heldal
Papers
Marte CCSL to Execute East-ADL Timing RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 249-253
by Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
Papers
A Lightweight Anomaly Detection System for Information AppliancesFull-text access may be available. Sign in or learn about subscription options.pp. 257-266
by Midori Sugaya, Yuki Ohno, Andrej van der Zee, Tatsuo Nakajima
Papers
Extending Component-Based Approaches for Multithreaded Design of Multiprocessor Embedded SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 267-274
by Sunwoo Lee, Byung Kwan Jung, Minsoo Ryu, Seungwon Lee
Papers
Thread-Local Scope Caching for Real-time JavaFull-text access may be available. Sign in or learn about subscription options.pp. 275-282
by Andy Wellings, Martin Schoeberl
Papers
Online Self-Healing Support for Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 283-287
by Lei Sun, Dennis K. Nilsson, Tomohiro Katori, Tatsuo Nakajima
Papers
Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 288-292
by Dietmar Schreiner, Markus Schordan, Jens Knoop
Papers
Resource Scopes: Toward Language Support for Compositional DeterminismFull-text access may be available. Sign in or learn about subscription options.pp. 295-304
by Madhukar Anand, Sebastian Fischmeister, Insup Lee
Papers
On the Semantics of UML/MARTE Clock ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 305-312
by Frédéric Mallet, Charles André
Papers
From AADL Architectural Models to Petri Nets: Checking Model ViabilityFull-text access may be available. Sign in or learn about subscription options.pp. 313-320
by Xavier Renault, Fabrice Kordon, Jérôme Hugues
Papers
How to Model a Real-Time Database?Full-text access may be available. Sign in or learn about subscription options.pp. 321-325
by Nizar Idoudi, Claude Duvallet, Rafik Bouaziz, Bruno Sadeg, Faiez Gargouri
Papers
Detecting and Analyzing State Inconsistencies in Multi-task SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 326-330
by Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi
Papers
Author IndexFreely available from IEEE.pp. 331-332
Showing 56 out of 56