The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WORDS"( http://dblp.L3S.de/Venues/WORDS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cwords

Publication years (Num. hits)
1994 (23) 1996 (35) 1997 (45) 2001 (35) 2002 (46) 2003 (43) 2005 (54) 2011 (31) 2013 (27) 2015 (20) 2017 (24) 2019 (26) 2021 (17) 2023 (23)
Publication types (Num. hits)
inproceedings(435) proceedings(14)
Venues (Conferences, Journals, ...)
WORDS(449)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 218 occurrences of 153 keywords

Results
Found 449 publication records. Showing 449 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Franz-Josef Rammig Synthesis Aspects of the PARADISE Design Environment. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hector A. Duran-Limon, Gordon S. Blair Reconfiguration of Resources in Middleware. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF resource reconfiguration, reflection, adaptive middleware, distributed multimedia
1Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, Stefano Russo 0001, Giorgio Ventre Service Differentiation of Communication-bound Processes in a Real-Time Operating System. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul Object Testing in ITEE. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF test analyzer and programming object base, test manager, test and evaluation, longitudinal data
1Romain Boichat, Partha Dutta, Rachid Guerraoui Asynchronous Leasing. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Doo-Hyun Kim, Kyung-Hee Lee An Extended Object Composition Model for Distributed Multimedia Services. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Composition, Object, Distributed Multimedia
1Stuart Harvey Rubin, Robert J. Rush Jr., Marion G. Ceruti Application of Object-Oriented Design to Knowledge Amplification by Structured Expert Randomization (KASER). Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF KASER(r) (patent pending), Expert system, knowledge acquisition, randomization, object-oriented design
1Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky Auction System Design Using Open Multithreaded Transactions. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fault Tolerance, Concurrency, Distribution, Transactions, Auctions, Exceptions
1Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt Open Research Issues in Building Dependable Middleware (Panel). Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jan Gustafsson Worst Case Execution Time Analysis of Object-Oriented Programs. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, Object-oriented programming, worst case execution time
1Bumho Kim, Dongman Lee, Dukyun Nam Scalable Group Membership Service for Mobile Internet. Search on Bibsonomy WORDS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF scalability, fault tolerant computing, mobile internet, group membership, group communication system, fault-tolerant distributed applications
1Tatsuo Nakajima Towards Universal Software Substrate for Distributed Embedded Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Praveen Yalagandula, Lorenzo Alvisi, Michael Dahlin, Harrick M. Vin C0PE: Consistent 0-Administration Personal Environment. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Carlos Eduardo Pereira, Bran Selic, R. Tuner, R. Van den Berg, Carlo Batini, G. Bolella, Luiz F. Bacellar, S. Razdan Middleware for Real-Time Distributed Objects: Needs and Requirements from Different Application Domains. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano Super Actors for Real Time. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Dieter K. Hammer, Michel R. V. Chaudron Component-Based Software Engineering for Resource-Constraint Systems: What are the Needs? Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Claudio Villela, Leandro Buss Becker, Carlos Eduardo Pereira Framework for Component-Based Development of Distributed Real-Time Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Modeling, Embedded Systems, Distributed Real-Time Systems, Component Model
1Pascal Felber, Ben Jai, Rajeev Rastogi, Mark A. Smith Using Semantic Knowledge of Distributed Objects to Increase Reliability and Availability. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Hauf, Janek Schwarz, Andreas Polze Role-based Security for Configurable Distributed Control Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF component configuration, aspect-description, security, XML, CORBA
1Matjaz Colnaric, Domen Verber Dealing with tasking overload in object oriented real-time applications design. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Renato T. N. Villela, Rodrigo Fernandes de Mello, Célio Estevan Morón An Environment for Generating Visual Applications Involving Real-Time Remote Procedure Calls. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roberto Baldoni, Carlo Marchetti, Antonino Virgillito, Fabio Zito Failure Management for FT-CORBA Applications. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fault Tolerance, High Availability, Object Replication, Fault Tolerant CORBA
1Andy Schürr, Bran Selic, Claudio Becchetti, Priya Narasimhan What are the Most Urgent Research Problems of Component-Based Software Engineering for Resource-Constraint Systems? (Panel). Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Igor Uros, Dusan Starcevic, Tamara Uros Multimedia Presentation: Generic and Implementation Model. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul Townend, Jie Xu 0007, Malcolm Munro Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance
1F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli Modeling and Analysis of the Behavior of GPRS Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  BibTeX  RDF
1Trevor Jones, Lynne Blair The use of Automata in Modelling and Building a Real-time Component Based System. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Satoru Uehara, Osamu Mizuno, Tohru Kikuno An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1K. H. Kim, Juqiang Liu A Middleware Implementation and Performance Evaluation of the SNS Scheme for Network Surveillance. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF TMO Support Middleware, real-time, TMO, SNS, TMOSM, Network Surveillance
1Horst F. Wedde, Sabine Böhm, Wolfgang Freund Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
1Gregory W. Bond, Christof Fetzer Fault Management in ECLIPSE. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bran Selic The Emerging Real-Time Standard. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Youhei Timura, Katsuya Tanaka, Makoto Takizawa 0001 Ordered Delivery of Messages for Various Types of Invocations in Object-based Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roy Friedman, Erez Hadad Client-side Enhancements using Portable Interceptors. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul D. Ezhilchelvan, Mohammad Reza Khayyambashi, Graham Morgan, Doug Palmer Measuring the Cost of Scalability and Reliability for Internet-Based, Server-Centered Applications. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1João Rodrigues, Hugo Miranda, João Ventura 0001, Luís E. T. Rodrigues The design of RT-Appia. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal Real-Time Based Strong Consistency for Distributed Objects. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith Strong Replica Consistency for Fault-Tolerant CORBA Applications. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bernadette Charron-Bost, Xavier Défago, André Schiper Time vs. Space in Fault-Tolerant Distributed Systems. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Sias Mostert Composing Dependable Real Time Software of Function Blocks. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Safety related automation, function block diagrams, data flow languages, safety licensing of software, diverse back translation, schedulability analysis
1Saehwa Kim, Sukjae Cho, Seongsoo Hong Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ravi Prakash 0001 Issues in Message Passing for a Tele-immersive Experience. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Allan K. Y. Wong, Tharam S. Dillon, May T. W. Ip, Wilfred W. K. Lin A Generic Visualization Framework to Help Debug Mobile-Object-Based Distributed Programs Running on Large Networks. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Visualization Data Structures, Public Intranet, reliability, Mobility, debugging, Visualization User Interface
1David D. Zhang, Jerome Y. Brown Architectural Significant Package (ASP): Fundamentals of Object-oriented Architecture Modeling for Real-time Embedded Applications. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno An approach to safety verification of object-oriented design specification for an elevator control system. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Viren Shah, Sandeepan Sanyal, Samrat Bhattacharya Deadlocks in fully uncoordinated checkpointing rollback recovery systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Dieter K. Hammer Process-oriented development of embedded systems: modeling behavior and dependability. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Gergeleit, Michael Mock, Edgar Nett, J. Reumann Integrating time-aware CORBA objects into O-O real-time computations. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jung-Guk Kim, Jin Pyo Hong, Byoung-Joon Min, Moon Hae Kim Multimedia service object modeling. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1K. Ramamritham Issues in achieving temporal and semantic coherency in distributed real-time applications. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura Value-driven resource assignment in object-oriented real-time dependable systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrice Laurençot, Richard Castanet Integration of time in canonical testers for real-time systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bikash Sabata, Saurav Chatterjee, Michael Davis, Jaroslaw J. Sydir, Thomas F. Lawrence Taxonomy for QoS specifications. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Carlos Eduardo Pereira Applying object-oriented concepts to the development of real-time industrial automation systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan Separation of concerns: functionality vs. quality of service. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Leyuan Shi, Phillip Q. Hwang A method for real-time scheduling problems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Mike 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. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jozef Hooman, Onno S. van Roosmalen Timed-event abstraction and timing constraints in distributed real-time programming. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ludovic Rousseau, Stéphane Natkin A framework of secure object system architecture. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani Diversity in the software development process. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jan Bosch, Peter Molin A model for a flexible and predictable object-oriented real-time system. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1David Chenho Kung, John Lin, Pei Hsia, Bill Carroll Object-oriented real time systems modeling and verification. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado RTR model: an approach for dealing with real-time programming in open distributed systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Duncan Clarke, Insup Lee 0001 Automatic generation of tests for timing constraints from requirements. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michel Raynal Real-time dependable decisions in timed asynchronous distributed systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Leo Motus, Tonu Naks Formal timing analysis of OMT designs using LIMITS. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edgar Nett Real-time behaviour in a heterogeneous environment? Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1I-Ling Yen An object-oriented fault-tolerance framework based on specialization techniques. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Orlando Loques, Rodrigo A. Botafogo, Julius C. B. Leite A configuration approach for distributed object-oriented system customization. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jin Song Dong, Lin Zucconi A framework for adding time into formal object models. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bran Selic A framework for location transparency in distributed systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sangjoon Ahn, Seungro Lee, Dongman Lee, Sunyoung Han An architecture for a tightly coupled conferencing system. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Katsuya Tanaka, Hiroaki Higaki, Makoto Takizawa 0001 Object-based checkpoints in distributed systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Stuart E. Mitchell, Alan Burns 0001, Andrew J. Wellings Developing a real-time metaobject protocol. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Moon-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. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Eltefaat Shokri, Herbert Hecht, Patrick Crane, Jerry Dussault, K. H. (Kane) Kim An approach for adaptive fault-tolerance in object-oriented open distributed systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Nobuhiro Kataoka, Hisao Koizumi, H. Simizu Architecture of an autonomous distributed system and verification of implementation as a logistics information management system. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  BibTeX  RDF
1Taehyung Wang, Phillip C.-Y. Sheu, Soochan Hwang An object-oriented shadow generation algorithm for real-time application. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Juha Taina, Sang H. Son 0001 A framework for real-time object-oriented database models. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Takayuki Tachikawa, Makoto Takizawa 0001 Object-based message ordering in group communication. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos Probabilistic analysis of real-time dependable systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andrew A. Hanish, Tharam S. Dillon Object-oriented behaviour modelling for real-time design. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1K. H. Kim, Luiz F. Bacellar Time-bounded cooperative recovery with the distributed real-time conversation scheme. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor Real-time scheduling for synchronized presentation of multimedia information in distributed multimedia systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai Sequence specification for concurrent object-oriented applications. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul Incremental verification of architecture specification language for real-time systems. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ann T. Tai, Savio N. Chau, Leon Alkalaj, Herbert Hecht On-board preventive maintenance: analysis of effectiveness and optimal duty period. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1C. M. Nguyen, K. H. Kim Toward optimal assignment of human functions in complex defense systems via uniform object modeling and real-time simulation. Search on Bibsonomy WORDS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edgar Nett, H. Streich, Paolo Bizzarri, Andrea Bondavalli, Fabio Tarini Adaptive software fault tolerance policies with dynamic real-time guarantees. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1D. Allen CORBA technology for cross-domain interoperability in embedded military systems, and issues in its use. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1M. B. Davis, J. J. Sydir Position paper: resource management for complex distributed systems. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Yeong-Jia Chen, Daniel Mossé, Shi-Kuo Chang An object-based model for dependable real-time distributed systems. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stephen S. Yau, J. Wang, J.-W. Kim Object-oriented software development with fault tolerance for distributed real-time systems. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stuart E. Mitchell, Andy J. Wellings Real-time programming in the concurrent object-oriented language TAO. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack Real time formal specification using VDM++. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jeffrey J. P. Tsai, Thomas J. Weigert A logic-based requirements language for the specification and analysis of real-time systems. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Soomyung Park, Insook Chung, Geonyou Jo, Sunyoung Han, Kwanho Song Fault-tolerant real-time synchronous collaboration environment using WWW. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 449 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license