Table of Contents

• A Systematic Approach to Domain-Specific Language Design Using UMLBran Selic. 2-9 [doi]
• Periodic Finite-State MachinesHermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser. 10-20 [doi]
• Engineering Self-Coordinating Real-Time SystemsFranz-Josef Rammig. 21-28 [doi]
• Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time ThreadsK. H. Kim, Juan A. Colmenares, Kee-Wook Rim. 29-40 [doi]
• A Unified Benchmarking Process for Components in Automotive Embedded Systems SoftwareWolfgang Forster, Christof Kutschera, Dietmar Schreiner, Karl M. Göschka. 41-45 [doi]
• A New Specification of Software Components for Embedded SystemsTakuya Azumi, Masanari Yamamoto, Yasuo Kominami, Nobuhisa Takagi, Hiroshi Oyama, Hiroaki Takada. 46-50 [doi]
• A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed ProtocolsRoberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni. 51-61 [doi]
• QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component MiddlewareAmogh Kavimandan, Krishnakumar Balasubramanian, Nishanth Shankaran, Aniruddha S. Gokhale, Douglas C. Schmidt. 62-70 [doi]
• A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory SystemsAntonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan. 71-78 [doi]
• Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web ApplicationsWilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon, Elizabeth Chang. 79-86 [doi]
• Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction CacheRaimund Kirner, Peter P. Puschner. 87-93 [doi]
• A Profile for Safety Critical JavaMartin Schoeberl, Hans Sondergaard, Bent Thomsen, Anders P. Ravn. 94-101 [doi]
• Predictable Serialization in JavaDaniel Tejera, Alejandro Alonso, Miguel A. de Miguel. 102-109 [doi]
• Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of JavaM. Teresa Higuera-Toledano. 110-114 [doi]
• Integrating Priority Inheritance Algorithms in the Real-Time Specification for JavaAndy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol. 115-123 [doi]
• Analyzing Behavior of Concurrent Software Designs for Embedded SystemsRobert G. Pettit IV, Hassan Gomaa. 124-132 [doi]
• Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded ComputingTarek F. Abdelzaher, Qing Cao, Raghu K. Ganti, Dan Henriksson, Mohammad Maifi Hasan Khan, Jin Heo, Chengdu Huang, Praveen Jayachandran, Hieu Khac Le, Liqian Luo, Yu-En Tsai. 133-140 [doi]
• On Rigorous Design and Implementation of Fault Tolerant Ambient SystemsAlexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna. 141-145 [doi]
• Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCONJungin Kim, Bhavani M. Thuraisingham. 146-155 [doi]
• Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator NetworkKiyohiro Morita, Kenichi Watanabe, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa. 156-163 [doi]
• Search-Oriented Deployment Strategies for Wireless Sensor NetworksJiun-Jian Chang, Pi-Cheng Hsiu, Tei-Wei Kuo. 164-171 [doi]
• Data Dissemination for Wireless Sensor NetworksMin-Gu Lee, Sunggu Lee. 172-180 [doi]
• A Novel Synchronous Scheduling Service for CORBA-RT ApplicationsIsidro Calvo, Luís Almeida, Adrian Noguero. 181-188 [doi]
• Using Multi-Agent Principles for Implementing an Organic Real-Time MiddlewareManuel Nickschas, Uwe Brinkschulte. 189-195 [doi]
• Security Analysis of the Utilization of Corba Object References as Authorization TokensChristoph Becker, Sebastian Staamann, Ralf Salomon. 196-203 [doi]
• A Comparative Evaluation of EJB Implementation MethodsAndreas Stylianou, Giovanna Ferrari, Paul D. Ezhilchelvan. 204-213 [doi]
• Real-Time Dynamic Guarantee in Component-Based MiddlewareCássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira. 214-221 [doi]
• Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component MiddlewareGan Deng, Ming Xiong, Aniruddha S. Gokhale, George Edwards. 222-227 [doi]
• TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered TasksJae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Jun Kim, Hanseok Sue, Jung-Guk Kim. 228-235 [doi]
• Toward a Generic and Secure Software Platform for Sensor Network NodesYukikazu Nakamoto, Shuhei Higashiyama, Narutaka Chiba, Michio Kaneko, Yoko Furuzumi. 236-240 [doi]
• QoS Management of Real-Time Data Stream Queries in Distributed EnvironmentsYuan Wei, Vibha Prasad, Sang Hyuk Son. 241-248 [doi]
• An Architecture to Support Dynamic Service Composition in Distributed Real-Time SystemsIria Estévez-Ayres, Luís Almeida, Marisol García-Valls, Pablo Basanta-Val. 249-256 [doi]
• An Approach to Automated Agent Deployment in Service-Based SystemsStephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong. 257-265 [doi]
• System-Level Energy-Efficiency for Real-Time TasksChuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo. 266-273 [doi]
• Compositional Schedulability Analysis of Hierarchical Real-Time SystemsArvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky. 274-281 [doi]
• Enterprise Job Scheduling for Clustered EnvironmentsStratos Paulakis, Vassileios Tsetsos, Stathes Hadjiefthymiades. 282-290 [doi]
• Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded SystemsNishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu. 291-298 [doi]
• Independent Model-Driven Software Performance Assessments of UML DesignsJulie A. Street, Robert G. Pettit IV, Hassan Gomaa. 299-306 [doi]
• Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity SystemsJérôme Hugues, Bechir Zalila, Laurent Pautet. 307-312 [doi]
• LSynD: Localized Synopsis DiffusionAndreea Berfield, Panos K. Chrysanthis, Daniel Mossé. 313-320 [doi]
• An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware DevicesJin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng. 321-328 [doi]
• Hardware-Near Programming in the Common Language InfrastructureStefan Richter, Andreas Rasche, Andreas Polze. 329-336 [doi]
• Device Modeling for a Flexible Embedded Systems Development ProcessKleanthis C. Thamboulidis, George S. Doukas, Giannis V. Koumoutsos. 337-343 [doi]
• On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time SystemsBinoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen. 344-353 [doi]
• Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During OverloadCrineu Tres, Leandro Buss Becker, Edgar Nett. 354-358 [doi]
• A Wide Area Network Emulator for CORBA ApplicationsMohammad Alsaeed, Neil A. Speirs. 359-364 [doi]
• An Iterative Refinement Framework for Tighter Worst-Case Execution Time CalculationHojung Bang, Tai Hyo Kim, Sung Deok Cha. 365-372 [doi]
• Automated Formal Verification and Testing of C Programs for Embedded SystemsSusanne Kandl, Raimund Kirner, Peter P. Puschner. 373-381 [doi]
• Experiences from Applying WCET Analysis in Industrial SettingsJan Gustafsson, Andreas Ermedahl. 382-392 [doi]
• XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual OrganizationsChristine Morin. 393-402 [doi]
• Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational GridsFábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, João Felipe Santos. 403-411 [doi]
• Timed-Automata Semantics and Analysis of UML/SPT Models with ConcurrencyAbdelouahed Gherbi, Ferhat Khendek. 412-419 [doi]
• Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport SystemsFabrice Kordon. 420-427 [doi]
• An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time SystemsMarco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Flávio Rech Wagner. 428-432 [doi]