default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ISORC 2007: Santorini Island, Greece
- Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece. IEEE Computer Society 2007, ISBN 0-7695-2765-5
Technology Trends
- Bran Selic:
A Systematic Approach to Domain-Specific Language Design Using UML. 2-9 - Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser:
Periodic Finite-State Machines. 10-20 - Franz-Josef Rammig:
Engineering Self-Coordinating Real-Time Systems. 21-28 - K. H. Kim, Juan A. Colmenares, Kee-Wook Rim:
Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads. 29-40
Component-Based Software Development
- Wolfgang Forster, Christof Kutschera, Dietmar Schreiner, Karl M. Göschka:
A Unified Benchmarking Process for Components in Automotive Embedded Systems Software. 41-45 - Takuya Azumi, Masanari Yamamoto, Yasuo Kominami, Nobuhisa Takagi, Hiroshi Oyama, Hiroaki Takada:
A New Specification of Software Components for Embedded Systems. 46-50 - Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. 51-61 - Amogh Kavimandan, Krishnakumar Balasubramanian, Nishanth Shankaran, Aniruddha S. Gokhale
, Douglas C. Schmidt:
QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware. 62-70
Fundamental Issues in Distributed RT Computing
- Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan:
A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. 71-78 - Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon, Elizabeth Chang:
Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web Applications. 79-86 - Raimund Kirner, Peter P. Puschner:
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. 87-93
Real-Time Java
- Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn:
A Profile for Safety Critical Java. 94-101 - Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel:
Predictable Serialization in Java. 102-109 - M. Teresa Higuera-Toledano:
Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of Java. 110-114 - Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol:
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. 115-123
Software Design
- Robert G. Pettit IV, Hassan Gomaa:
Analyzing Behavior of Concurrent Software Designs for Embedded Systems. 124-132 - Tarek 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:
Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing. 133-140 - Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. 141-145 - Jungin Kim, Bhavani Thuraisingham:
Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCON. 146-155
Wireless and Mobile Networks
- Kiyohiro Morita, Kenichi Watanabe, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa:
Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator Network. 156-163 - Jiun-Jian Chang, Pi-Cheng Hsiu, Tei-Wei Kuo:
Search-Oriented Deployment Strategies for Wireless Sensor Networks. 164-171 - Min-Gu Lee, Sunggu Lee:
Data Dissemination for Wireless Sensor Networks. 172-180
Middleware
- Isidro Calvo, Luís Almeida, Adrián Noguero:
A Novel Synchronous Scheduling Service for CORBA-RT Applications. 181-188 - Manuel Nickschas, Uwe Brinkschulte:
Using Multi-Agent Principles for Implementing an Organic Real-Time Middleware. 189-195 - Christoph Becker, Sebastian Staamann, Ralf Salomon:
Security Analysis of the Utilization of Corba Object References as Authorization Tokens. 196-203
Component Execution Support
- Andreas Stylianou, Giovanna Ferrari, Paul D. Ezhilchelvan:
A Comparative Evaluation of EJB Implementation Methods. 204-213 - Cássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira:
Real-Time Dynamic Guarantee in Component-Based Middleware. 214-221 - Gan Deng, Ming Xiong, Aniruddha S. Gokhale, George Edwards:
Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component Middleware. 222-227
Sensor Networks
- Jae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Jun Kim, Hanseok Sue, Jung-Guk Kim:
TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered Tasks. 228-235 - Yukikazu Nakamoto, Shuhei Higashiyama, Narutaka Chiba, Michio Kaneko, Yoko Furuzumi:
Toward a Generic and Secure Software Platform for Sensor Network Nodes. 236-240
Distributed Systems
- Yuan Wei, Vibha Prasad, Sang Hyuk Son:
QoS Management of Real-Time Data Stream Queries in Distributed Environments. 241-248 - Iria Estévez-Ayres, Luís Almeida, Marisol García-Valls, Pablo Basanta-Val:
An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems. 249-256 - Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong:
An Approach to Automated Agent Deployment in Service-Based Systems. 257-265
Scheduling and Resource Management
- Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo:
System-Level Energy-Efficiency for Real-Time Tasks. 266-273 - Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky:
Compositional Schedulability Analysis of Hierarchical Real-Time Systems. 274-281 - Stratos Paulakis, Vassileios Tsetsos, Stathes Hadjiefthymiades:
Enterprise Job Scheduling for Clustered Environments. 282-290
Model-Driven Development
- Nishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu:
Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems. 291-298 - Julie A. Street, Robert G. Pettit IV, Hassan Gomaa:
Independent Model-Driven Software Performance Assessments of UML Designs. 299-306 - Jérôme Hugues, Bechir Zalila, Laurent Pautet:
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. 307-312
Embedded Systems
- Andreea Berfield, Panos K. Chrysanthis, Daniel Mossé:
LSynD: Localized Synopsis Diffusion. 313-320 - Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng:
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. 321-328 - Stefan Richter, Andreas Rasche, Andreas Polze:
Hardware-Near Programming in the Common Language Infrastructure. 329-336 - Kleanthis C. Thramboulidis, George S. Doukas, Giannis V. Koumoutsos:
Device Modeling for a Flexible Embedded Systems Development Process. 337-343
Handling Time Faults
- Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen:
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. 344-353 - Crineu Tres, Leandro Buss Becker, Edgar Nett:
Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload. 354-358 - Mohammad Alsaeed, Neil A. Speirs:
A Wide Area Network Emulator for CORBA Applications. 359-364
Execution Time Analysis and Program Verification
- Hojung Bang, Tai Hyo Kim, Sung Deok Cha:
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. 365-372 - Susanne Kandl, Raimund Kirner, Peter P. Puschner:
Automated Formal Verification and Testing of C Programs for Embedded Systems. 373-381 - Jan Gustafsson, Andreas Ermedahl:
Experiences from Applying WCET Analysis in Industrial Settings. 382-392
Execution Support for Distributed Systems
- Christine Morin:
XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual Organizations. 393-402 - Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, João Felipe Santos:
Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. 403-411
UML and Modeling
- Abdelouahed Gherbi, Ferhat Khendek:
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. 412-419 - Fabrice Kordon:
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. 420-427 - Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Flávio Rech Wagner:
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. 428-432
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-08 20:39 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:
