• 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 45 matches

• 2009
• 
  Tomasz Babczynski, Miroslaw Lukowicz, Jan Magott:
  Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies. DepCoS-RELCOMEX 2009: 315-323
• 
  Lukasz Bagrij, Katarzyna Michalska, Marek Woda:
  Applying Queuing Models for Assessing Network Services Dependability Parameters in Modern Information Systems. DepCoS-RELCOMEX 2009: 135-143
• 
  Karol Banczyk, Henryk Krawczyk:
  Ontology Oriented Threat Detection System (OOTDS). DepCoS-RELCOMEX 2009: 144-151
• 
  Ammar Bessam, Mohamed Tahar Kimour, Ali Melit:
  Separating Users' Views in a Development Process for Agile Methods. DepCoS-RELCOMEX 2009: 61-68
• 
  Andrzej Bialas:
  Ontology-Based Security Problem Definition and Solution for the Common Criteria Compliant Development Process. DepCoS-RELCOMEX 2009: 3-10
• 
  Ilona Bluemke, Artur Rembiszewski:
  Dataflow Approach to Testing Java Programs. DepCoS-RELCOMEX 2009: 69-76
• 
  Thouraya Bouabana-Tebibel:
  UML 2 Interaction Overview Diagram Validation. DepCoS-RELCOMEX 2009: 11-16
• 
  Mohamed Bouali, Pavol Barger, Walter Schön:
  Inconsistent State Analysis of a Network Receiver with Colored Petri Nets. DepCoS-RELCOMEX 2009: 152-159
• 
  Mustapha Bourahla:
  Model-Based Diagnostic Using Model Checking. DepCoS-RELCOMEX 2009: 229-236
• 
  Dariusz Caban:
  Dependability of Large Reconfigurable Information Systems. DepCoS-RELCOMEX 2009: 160-167
• 
  Jacek Cichon, Adam Czubak, Andrzej Jasinski:
  Minimal Büchi Automata for Certain Classes of LTL Formulas. DepCoS-RELCOMEX 2009: 17-24
• 
  Jacek Cichon, Krzysztof Cichon, Przemyslaw Kobylanski:
  Node Evaluation in the Chord P2P Systems. DepCoS-RELCOMEX 2009: 168-175
• 
  Hugo Dworak:
  A Concept of a Web Application Blending Thin and Fat Client Architectures. DepCoS-RELCOMEX 2009: 84-90
• 
  Hugo Dworak:
  The Design and Implementation of a Documentation Generator for the PRISM Language. DepCoS-RELCOMEX 2009: 91-98
• 
  Iraj Elyasi-Komari, Vyacheslav S. Kharchenko, Eugene Babeshko, Anatoliy Gorbenko, Alexandr Siora:
  Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application. DepCoS-RELCOMEX 2009: 25-32
• 
  Bernhard Fechner:
  Fault-Masking Capabilities of Basic Circuit Structures. DepCoS-RELCOMEX 2009: 245-253
• 
  Bernhard Fechner, Oliver Körber:
  A Tool for Dependable and Distributable Presentations. DepCoS-RELCOMEX 2009: 254-260
• 
  Sergej B. Gashkov, Anatoli A. Bolotov, Alexej A. Burtzev, Alexander Frolov, Sergei Zhebet:
  On Hardware and Software Implementation of Arithmetic in Finite Fields of Characteristic 7 for Calculation of Pairings. DepCoS-RELCOMEX 2009: 261-270
• 
  Pawel Gluchowski:
  Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. DepCoS-RELCOMEX 2009: 33-41
• 
  Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Alexandr Siora:
  Dependability of Safety-Critical Computer Systems through Component-Based Evolution. DepCoS-RELCOMEX 2009: 42-49
• 
  Vasily Y. Kharitonov:
  A Consistency Model for Distributed Virtual Reality Systems. DepCoS-RELCOMEX 2009: 271-278
• 
  Leszek Kotulski, Adam Sedziwy:
  On Complexity of Coordination of Parallel Graph Transformations in GRADIS Framework. DepCoS-RELCOMEX 2009: 279-289
• 
  Vasilis P. Koutras, Christoforos-Panagiotis S. Salagaras, Agapios N. Platis:
  Software Rejuvenation for Higher Levels of VoIP Availability and Mean Time to Failure. DepCoS-RELCOMEX 2009: 99-106
• 
  Marcin Kowalski, Kazimierz Wilkosz:
  A Domain Specific Language in Dependability Analysis. DepCoS-RELCOMEX 2009: 324-331
• 
  Zbigniew Lipinski:
  UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study. DepCoS-RELCOMEX 2009: 50-57
• 
  Henryk Maciejewski:
  Reliability Centered Maintenance of Repairable Equipment. DepCoS-RELCOMEX 2009: 332-339
• 
  Jan Nikodem:
  Relational Approach Towards Feasibility Performance for Routing Algorithms in Wireless Sensor Network. DepCoS-RELCOMEX 2009: 176-183
• 
  János Oláh, István Majzik:
  A Model Based Framework for Specifying and Executing Fault Injection Experiments. DepCoS-RELCOMEX 2009: 107-114
• 
  Dmitry Orlov:
  Application of Computations with Calculation Error Exclusion for Computation Geometry Algorithms. DepCoS-RELCOMEX 2009: 290-295
• 
  Henryk Piech:
  Analysis of Possibilities and Effectiveness of Combine Rough Sets and Neighborhood Theories for Solving Dynamic Scheduling Problem. DepCoS-RELCOMEX 2009: 296-303

skipping 15 more matches