default search action
7th ISORC 2004: Vienna, Austria
- 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. IEEE Computer Society 2004, ISBN 0-7695-2124-X
Keynote
- Hermann Kopetz:
Composition of Component Services. 3-
Industrial Track
- Manuel Díaz, Daniel Garrido
:
Applying RT-CORBA in Nuclear Power Plant Simulators. 7-14 - Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz
Project Golden Gate: Towards Real-Time Java in Space Missions. 15-22 - David Detlefs:
A Hard Look at Hard Real-Time Garbage Collection. 23-32 - Fridtjof Siebert:
The Impact of Realtime Garbage Collection on Realtime Java Programming. 33-40
UML-Based Methods
- Christos Drosos, Dimitris Metafas, George D. Papadopoulos:
A UML-Based Methodology for the System Design of a Wireless LAN Prototype. 45-51 - Vittorio Cortellessa, Maurizio Gentile:
Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment. 52-59 - István Majzik
UML Based Design of Time Triggered Systems. 60-63 - Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry:
A UML-Based Concept for High Concurrency: The Real-Time Object. 64-67
Real-Time Java
- Peter C. Dibble, Andy J. Wellings:
The Real-Time Specification for Java: Current Status and Future Work. 71-77 - Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes:
Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. 78-85 - Matthias Pfeffer, Theo Ungerer:
Dynamic Real-Time Reconfiguration on a Multithreaded Java-Microcontroller. 86-92 - Martin Schoeberl
Restrictions of Java for Embedded Real-Time Systems. 93-100 - Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek:
Real-Time Java Scoped Memory: Design Patterns and Semantics. 101-110
Special Invited Presentations on Systems Modeling
- Tiziana Margaria
Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. 113-120 - Tim Schattkowsky
Model-Based Design of Embedded Systems. 121-128 - Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi:
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. 129-135
Middleware
- Hiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo Nakajima:
Building Smart Appliance Integration Middleware on the OSGi Framework. 139-146 - Florentin Picioroaga, Aurelie Bechina, Uwe Brinkschulte, Etienne Schneider
OSA+ Real-Time Middleware, Results and Perspectives. 147-154 - Girish Baliga, Scott R. Graham
Etherware: Domainware for Wireless Control Networks. 155-162 - K. H. Kim, Juqiang Liu:
Techniques for Implementing Support Middleware for the PSTR Scheme for Real-Time Object Replication. 163-172
Design Methods
- Wilfried Elmenreich, Stefan Pitzek, Martin Schlager:
Modeling Distributed Embedded Applications on an Interface File System. 175-182 - Daniela Micucci
Time Sensitive Architectures: A Reflective Approach. 183-192 - Kleanthis Thramboulidis
Towards an Implementation Model for FB-Based Reconfigurable Distributed Control Applications. 193-200 - Michael Mock:
Expressing Real-Time Requirements on Object-Interactions. 201-208
Distributed Database and Web Services
- Keisuke Hasumi, Tomoya Enokido, Makoto Takizawa
Hybrid Concurrency Control Protocol for Multimedia Objects. 211-218 - Jean-Paul Etienne, Samia Saad-Bouzefrane:
A Java Platform to Control Real-Time Transactions Overload. 219-226 - Dacheng Zhang, Jie Xu:
Multi-Party Authentication for Web Services: Protocols, Implementation and Evaluation. 227-234
Testing and Verification
- Stefan Pitzek, Peter P. Puschner
Function Test Environment for Embedded Driver Components. 237-244 - Premysl Brada
High-Level Simulation of Embedded Systems: Experiences from the FIT Project. 245-248 - Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
Temporal Feasibility Verification of Specification PEARL Designs. 249-252 - Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications. 253-256
Panel II
- Franz J. Rammig:
Autonomic Distributed Real-Time Systems: Challenges and Solutions. 259-261 - Bran Selic:
Some Unresolved Problems in Real-Time Design. 262-263 - E. Douglas Jensen:
Timeliness in Mesosynchronous Real-Time Distributed Systems. 264-266
Distributed Real-Time Systems
- Byung-Kyu Choi, Sangig Rho, Riccardo Bettati:
Fast Software Component Migration for Applications Survivability in Distributed Real-Time Systems. 269-276 - Karthik Channakeshava, Binoy Ravindran:
On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. 277-284 - Sergio Pérez, Joan Vila, Jose A. Alegre, Josep V. Sala:
A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL Platform. 285-288
Separation of Concerns
- Shiu Lun Tsang, Siobhán Clarke, Elisa L. A. Baniassad:
An Evaluation of Aspect-Oriented Programming for Java-Based Real-Time Systems Development. 291-300 - Daniel L. Dvorak, William K. Reinholtz:
Separating Essentials from Incidentals: An Execution Architecture for Real-Time Control Systems. 301-304
Scheduling
- Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Scheduling under Joint Utility and Resource Constraints. 307-314 - Vassileios Tsetsos, Odysseas Sekkas
A Component-Based Scheduling Architecture for the Enterprise Domain. 315-318
Memory Management
- M. Teresa Higuera-Toledano:
Illegal References in a Real-Time Java Concurrent Environment. 321-324 - Hao Cai, Andy J. Wellings:
A Real-Time Isolate Specification for Ravenscar-Java. 325-328
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-12-13 18:59 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: