default search action
3rd WORDS 1997: Newport Beach, California, USA
- 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. IEEE Computer Society 1997, ISBN 0-8186-8046-6
- Katsuya Tanaka, Hiroaki Higaki, Makoto Takizawa:
Object-based checkpoints in distributed systems. 9-16 - Taehyung Wang, Phillip C.-Y. Sheu, Soochan Hwang:
An object-oriented shadow generation algorithm for real-time application. 17-24 - Jin Song Dong, Lin Zucconi:
A framework for adding time into formal object models. 26-31 - K. H. Kim, Luiz F. Bacellar:
Time-bounded cooperative recovery with the distributed real-time conversation scheme. 32-39 - Ann T. Tai, Savio N. Chau, Leon Alkalaj, Herbert Hecht:
On-board preventive maintenance: analysis of effectiveness and optimal duty period. 40-47 - Moon-hae Kim, Yong-Min Park, Seung-Min Yang, Jong-Kook Park:
Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object. 48-55 - Dieter K. Hammer:
Process-oriented development of embedded systems: modeling behavior and dependability. 57-65 - Bran Selic:
A framework for location transparency in distributed systems. 66-73 - Andrew A. Hanish, Tharam S. Dillon:
Object-oriented behaviour modelling for real-time design. 74-82 - Martin Gergeleit, Michael Mock, Edgar Nett, J. Reumann:
Integrating time-aware CORBA objects into O-O real-time computations. 83-90 - Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
Value-driven resource assignment in object-oriented real-time dependable systems. 92-99 - Bikash Sabata, Saurav Chatterjee, Michael Davis, Jaroslaw J. Sydir, Thomas F. Lawrence:
Taxonomy for QoS specifications. 100-107 - Ludovic Rousseau, Stéphane Natkin:
A framework of secure object system architecture. 108-115 - Mike Gates, Peter C. Krupp, John A. Maurer, Michael Squadrito, Bhavani M. Thuraisingham, Thomas Wheeler:
Object technology for the integration of the infrastructure, data manager, and tracker for command and control applications. 117-128 - Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani:
Diversity in the software development process. 129-136 - Leo Motus, Tonu Naks:
Formal timing analysis of OMT designs using LIMITS. 137-144 - Juha Taina, Sang H. Son:
A framework for real-time object-oriented database models. 146-152 - Jozef Hooman, Onno S. van Roosmalen:
Timed-event abstraction and timing constraints in distributed real-time programming. 153-160 - K. Ramamritham:
Issues in achieving temporal and semantic coherency in distributed real-time applications. 161-162 - Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai:
Sequence specification for concurrent object-oriented applications. 163-170 - Leyuan Shi, Phillip Q. Hwang:
A method for real-time scheduling problems. 172-176 - Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor:
Real-time scheduling for synchronized presentation of multimedia information in distributed multimedia systems. 177-184 - Orlando Loques, Rodrigo A. Botafogo, Julius C. B. Leite:
A configuration approach for distributed object-oriented system customization. 185-189 - Viren Shah, Sandeepan Sanyal, Samrat Bhattacharya:
Deadlocks in fully uncoordinated checkpointing rollback recovery systems. 190-197 - Duncan Clarke, Insup Lee:
Automatic generation of tests for timing constraints from requirements. 199-206 - Patrice Laurençot, Richard Castanet:
Integration of time in canonical testers for real-time systems. 207-214 - Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental verification of architecture specification language for real-time systems. 215-222 - David Chenho Kung, John Lin, Pei Hsia, Bill Carroll:
Object-oriented real time systems modeling and verification. 224-231 - Jan Bosch, Peter Molin:
A model for a flexible and predictable object-oriented real-time system. 232-239 - Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado:
RTR model: an approach for dealing with real-time programming in open distributed systems. 240-247 - Sangjoon Ahn, Seungro Lee, Dongman Lee, Sunyoung Han:
An architecture for a tightly coupled conferencing system. 249-255 - Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
An approach to safety verification of object-oriented design specification for an elevator control system. 256-263 - Carlos Eduardo Pereira:
Applying object-oriented concepts to the development of real-time industrial automation systems. 264-270 - P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan:
Separation of concerns: functionality vs. quality of service. 272-274 - Edgar Nett:
Real-time behaviour in a heterogeneous environment? 275-281 - Michel Raynal:
Real-time dependable decisions in timed asynchronous distributed systems. 283-290 - I-Ling Yen:
An object-oriented fault-tolerance framework based on specialization techniques. 291-297 - Eltefaat Shokri, Herbert Hecht, Patrick Crane, Jerry Dussault, K. H. (Kane) Kim:
An approach for adaptive fault-tolerance in object-oriented open distributed systems. 298-305 - Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos:
Probabilistic analysis of real-time dependable systems. 306-313 - Takayuki Tachikawa, Makoto Takizawa:
Object-based message ordering in group communication. 315-322 - Stuart E. Mitchell, Alan Burns, Andrew J. Wellings:
Developing a real-time metaobject protocol. 323-330 - C. M. Nguyen, K. H. Kim:
Toward optimal assignment of human functions in complex defense systems via uniform object modeling and real-time simulation. 332-338 - Nobuhiro Kataoka, Hisao Koizumi, H. Simizu:
Architecture of an autonomous distributed system and verification of implementation as a logistics information management system. 339-346 - Jung-Guk Kim, Jin Pyo Hong, Byoung-Joon Min, Moon Hae Kim:
Multimedia service object modeling. 347-354
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.