


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

, Gergely Pintér, Péter Tamás Kovács
:
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

, Wolfgang Müller:
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

, Lui Sha, P. R. Kumar:
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

, Sergio Ruocco, Francesco Tisato, Andrea Trentini
:
Time Sensitive Architectures: A Reflective Approach. 183-192 - Kleanthis Thramboulidis

, George S. Doukas, A. Frantzis:
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

, Petr Grillinger, Stanislav Racek:
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

, Ioannis Priggouris, Stathes Hadjiefthymiades
:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














