default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDepCoS-RELCOMEX 2009: Brunow, Poland
- Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3674-3
- Andrzej Bialas
:
Ontology-Based Security Problem Definition and Solution for the Common Criteria Compliant Development Process. 3-10 - Thouraya Bouabana-Tebibel:
UML 2 Interaction Overview Diagram Validation. 11-16 - Jacek Cichon, Adam Czubak, Andrzej Jasinski:
Minimal Büchi Automata for Certain Classes of LTL Formulas. 17-24 - 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. 25-32 - Pawel Gluchowski:
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. 33-41 - Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Alexandr Siora:
Dependability of Safety-Critical Computer Systems through Component-Based Evolution. 42-49 - Zbigniew Lipinski:
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study. 50-57 - Ammar Bessam, Mohamed Tahar Kimour, Ali Melit:
Separating Users' Views in a Development Process for Agile Methods. 61-68 - Ilona Bluemke, Artur Rembiszewski:
Dataflow Approach to Testing Java Programs. 69-76 - Antonio da Silva, Alberto Gonzalez-Calero, José-Fernán Martínez, Lourdes López-Santidrián, Ana Belén García, Vicente Hernández:
Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI Tool. 77-83 - Hugo Dworak:
A Concept of a Web Application Blending Thin and Fat Client Architectures. 84-90 - Hugo Dworak:
The Design and Implementation of a Documentation Generator for the PRISM Language. 91-98 - Vasilis P. Koutras, Christoforos-Panagiotis S. Salagaras, Agapios N. Platis:
Software Rejuvenation for Higher Levels of VoIP Availability and Mean Time to Failure. 99-106 - János Oláh, István Majzik:
A Model Based Framework for Specifying and Executing Fault Injection Experiments. 107-114 - Kazimierz Worwa:
A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random Testing. 115-122 - Wlodek M. Zuberek:
Siphon-Based Verification of Component Compatibility. 123-132 - Lukasz Bagrij, Katarzyna Michalska, Marek Woda:
Applying Queuing Models for Assessing Network Services Dependability Parameters in Modern Information Systems. 135-143 - Karol Banczyk, Henryk Krawczyk:
Ontology Oriented Threat Detection System (OOTDS). 144-151 - Mohamed Bouali, Pavol Barger, Walter Schön:
Inconsistent State Analysis of a Network Receiver with Colored Petri Nets. 152-159 - Dariusz Caban:
Dependability of Large Reconfigurable Information Systems. 160-167 - Jacek Cichon, Krzysztof Cichon, Przemyslaw Kobylanski:
Node Evaluation in the Chord P2P Systems. 168-175 - Jan Nikodem:
Relational Approach Towards Feasibility Performance for Routing Algorithms in Wireless Sensor Network. 176-183 - Ewa Szlachcic, Jacek Mlynek:
Efficiency Analysis in Communication Networks Topology Design. 184-191 - Miroslaw Szymczyk:
Detecting Botnets in Computer Networks Using Multi-agent Technology. 192-201 - Victor V. Toporkov, Anna S. Toporkova, Alexey Tselishchev, Dmitry Yemelyanov:
Job and Application-Level Scheduling: An Integrated Approach for Achieving Quality of Service in Distributed Computing. 202-209 - Wojciech Tylman:
Data Mining Techniques for Semi-automatic Signature Generation. 210-217 - Tomasz Walkowiak:
Information Systems Performance Analysis Using Task-Level Simulator. 218-225 - Mustapha Bourahla:
Model-Based Diagnostic Using Model Checking. 229-236 - Antonio da Silva, Sebastián Sánchez:
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models. 237-244 - Bernhard Fechner:
Fault-Masking Capabilities of Basic Circuit Structures. 245-253 - Bernhard Fechner, Oliver Körber:
A Tool for Dependable and Distributable Presentations. 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. 261-270 - Vasily Y. Kharitonov:
A Consistency Model for Distributed Virtual Reality Systems. 271-278 - Leszek Kotulski, Adam Sedziwy:
On Complexity of Coordination of Parallel Graph Transformations in GRADIS Framework. 279-289 - Dmitry Orlov:
Application of Computations with Calculation Error Exclusion for Computation Geometry Algorithms. 290-295 - Henryk Piech:
Analysis of Possibilities and Effectiveness of Combine Rough Sets and Neighborhood Theories for Solving Dynamic Scheduling Problem. 296-303 - Henryk Piech, Urszula Górnik:
The Use of Heuristics in Creating Speculation Strategy. 304-312 - Tomasz Babczynski, Miroslaw Lukowicz, Jan Magott:
Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies. 315-323 - Marcin Kowalski, Kazimierz Wilkosz:
A Domain Specific Language in Dependability Analysis. 324-331 - Henryk Maciejewski:
Reliability Centered Maintenance of Repairable Equipment. 332-339 - Miroslaw Siergiejczyk:
Operational Availability of Railway Dispatch Communication System. 340-347 - Jaroslaw Sugier, George J. Anders:
Modifying Markov Models of Ageing Equipment for Modeling Changes in Maintenance Policies. 348-355 - Alvaro Torres, George J. Anders:
Spectral Graph Theory and Network Dependability. 356-363 - Tomasz Walkowiak, Jacek Mazurkiewicz:
Analysis of Critical Situations in Discrete Transport Systems. 364-371
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.
last updated on 2025-01-20 22:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
