• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 50 matches

• 2004
• 
  9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy. IEEE Computer Society 2004, ISBN 0-7695-2054-5 [contents]
• 2003
• 
  Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini:
  Lessons Learned in Designing and Evaluating Railway Control Systems. WORDS Fall 2003: 355-
• 
  Stefan Arbanowski, Stephan Steglich, Ilja Radusch, Radu Popescu-Zeletin:
  Super Distributed Objects: An Execution Environment for I-Centric Services. WORDS Fall 2003: 201-200
• 
  Paolo Bellavista, Antonio Corradi:
  Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable Devices. WORDS Fall 2003: 283-291
• 
  Uwe Brinkschulte:
  Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System. WORDS Fall 2003: 45-52
• 
  Marion G. Ceruti, Joan L. Kaina:
  Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios. WORDS Fall 2003: 69-
• 
  Stefano Cimmino, Carlo Marchetti, Roberto Baldoni:
  A Guided Tour on Total Order Specifications. WORDS Fall 2003: 187-194
• 
  Mario Dal Cin:
  Extending UML towards a Useful OO-Language for Modeling Dependability Features. WORDS Fall 2003: 325-330
• 
  Andrea Coccoli, Andrea Bondavalli:
  Analysis of Safety Related Architectures. WORDS Fall 2003: 111-117
• 
  Reinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Edmundo L. Cecilio, Luiz F. Bacellar, Luci Pirmez:
  A Proactive Management and Rerouting Framework for QoS Critical Distributed Applications Using Active Technology. WORDS Fall 2003: 234-
• 
  Domenico Cotroneo, Cristiano di Flora, Antonino Mazzeo, Luigi Romano, Stefano Russo, Giacinto Paolo Saggese:
  Providing Digital Time Stamping Services to Mobile Devices. WORDS Fall 2003: 94-100
• 
  Hui Ding, Can Zheng, Gul Agha, Lui Sha:
  Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178
• 
  Frank Drews, Lonnie R. Welch:
  An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time Systems. WORDS Fall 2003: 118-124
• 
  Hector A. Duran-Limon, Gordon S. Blair, Adrian Friday, Thirunavukkarasu Sivaharan, George Samartzidis:
  A Resource and QoS Management Framework for a Real-Time Event System in Mobile Ad Hoc Environments. WORDS Fall 2003: 217-224
• 
  Christof Fetzer, Neeraj Suri:
  Practical Aspects of IP Take-Over Mechanisms. WORDS Fall 2003: 250-254
• 
  Joni da Silva Fraga, Frank Siqueira, Fábio Favarim:
  An Adaptive Fault-Tolerant Component Model. WORDS Fall 2003: 179-186
• 
  Rajeev Gandhi:
  Tolerance to Access-Point Failures in Dependable Wireless Local-Area Networks. WORDS Fall 2003: 136-143
• 
  Christopher D. Gill:
  RT-POD: A Framework for Real-Time Systems Participation in Own Defense. WORDS Fall 2003: 270-
• 
  Roman Gumzej, Wolfgang A. Halang:
  An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems. WORDS Fall 2003: 125-130
• 
  Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner:
  Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60
• 
  Wolfgang A. Halang:
  Automated Control Systems for the Safety Integrity Levels 3 and 4. WORDS Fall 2003: 35-
• 
  Young Sik Hong, J. H. No:
  A Fault-Tolerant Real-Time Multicast Protocol RFRM/X. WORDS Fall 2003: 131-135
• 
  Ravishankar K. Iyer, Shuo Chen, Jun Xu, Zbigniew Kalbarczyk:
  Security Vulnerabilities - From Data Analysis to Protection Mechanisms. WORDS Fall 2003: 331-338
• 
  E. Douglas Jensen:
  Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems. WORDS Fall 2003: 19-25
• 
  Yoshiaki Kakuda, Kanako Suezawa, Shinji Inoue, Hidenori Nakazato:
  Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation. WORDS Fall 2003: 144-
• 
  K. H. (Kane) Kim:
  Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems. WORDS Fall 2003: 307-
• 
  Moon-hae Kim, Eun Hwan Jo, Doo-Hyun Kim:
  Global Time-Based Synchronization of Real-Time Multimedia Streaming. WORDS Fall 2003: 101-
• 
  Hermann Kopetz, Neeraj Suri:
  On the Limits of the Precise Specification of Component Interfaces. WORDS Fall 2003: 26-27
• 
  Haining Liu, Magda El Zarki:
  Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia Applications. WORDS Fall 2003: 79-86
• 
  Nik Looker, Jie Xu:
  Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection. WORDS Fall 2003: 163-170

skipping 20 more matches