DepCoS-RELCOMEX 2007:
Szklarska Poreba,
Poland
2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland.
IEEE Computer Society 2007 BibTeX
Modelling
- Andrzej Bialas:
Semiformal Approach to the IT Security Development.
3-10
Electronic Edition (link) BibTeX
- M. Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
11-18
Electronic Edition (link) BibTeX
- Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz:
Evaluation of MDA/PSM database model quality in the context of selected non-functional requirements.
19-26
Electronic Edition (link) BibTeX
- Sandrine Duflos, Alpha A. Diallo, Gwendal Le Grand:
An Overlay Simulator for Interdependent Critical Information Infrastructures.
27-34
Electronic Edition (link) BibTeX
- Dariusz Dymek, Leszek Kotulski:
The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance.
35-42
Electronic Edition (link) BibTeX
- Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Andriy V. Volkoviy:
Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components.
43-50
Electronic Edition (link) BibTeX
- Lukasz Fryz, Leszek Kotulski:
Assurance of System Consistency During Independent Creation of UML Diagrams.
51-58
Electronic Edition (link) BibTeX
- Mikhaylov Ilya Sergeevitch:
Information Systems Metamodels Developing for Providing Structural and Semantic Interoperability.
59-64
Electronic Edition (link) BibTeX
- Katarzyna Nowak, Lukasz Bagrij:
Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach.
61-72
Electronic Edition (link) BibTeX
- Victor V. Toporkov:
Dataflow Analysis of Distributed Programs Using Generalized Marked Nets.
73-80
Electronic Edition (link) BibTeX
- Elena N. Zaitseva, Vitaly G. Levashenko:
Investigation Multi-State System Reliability by Structure Function.
81-90
Electronic Edition (link) BibTeX
Methodology and Tools
Dependability of Computer Networks
- Radoslaw Brendel, Henryk Krawczyk:
Detection Methods of Dynamic Spammers' Behavior.
145-152
Electronic Edition (link) BibTeX
- M. Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
153-160
Electronic Edition (link) BibTeX
- Alexandr P. Eremeev, Pavel R. Varshavsky:
Methods and Tools for Reasoning by Analogy in Intelligent Decision Support Systems.
161-168
Electronic Edition (link) BibTeX
- Przemyslaw Krekora:
An approach to change availability of the service by adding forecasting module to firewall.
169-176
Electronic Edition (link) BibTeX
- Przemyslaw Krekora, Dariusz Caban:
Dependability analysis of reconfigurable information systems.
177-184
Electronic Edition (link) BibTeX
- Przemyslaw Nowak, Bartosz Sakowicz, George Anders, Andrzej Napieralski:
Intrusion Detection and Internet Services Failure Reporting System.
185-190
Electronic Edition (link) BibTeX
- Vladimir L. Shirokov:
The basics of methodology for estimation and choosing parameters of multi-service telecommunication systems.
191-197
Electronic Edition (link) BibTeX
- Tomasz R. Surmacz:
Reliability of e-mail delivery in the era of spam.
198-204
Electronic Edition (link) BibTeX
- Tomasz Walkowiak, Tomasz Wilk:
Incident Detection and Analysis in Communication and Information Systems by Fuzzy Logic.
205-212
Electronic Edition (link) BibTeX
- Wojciech Zamojski, Dariusz Caban:
Maintenance Policy of a Network with Traffic Reconfiguration.
213-222
Electronic Edition (link) BibTeX
Software Security and Dependability
- Meriem Belguidoum, Fabien Dagnat:
Dependability in Software Component Deployment.
223-230
Electronic Edition (link) BibTeX
- Kadhim M. Breesam:
Metrics for Object-Oriented Design Focusing on Class Inheritance Metrics.
231-237
Electronic Edition (link) BibTeX
- Cagatay Catal, Banu Diri, Bulent Ozumut:
An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software.
238-245
Electronic Edition (link) BibTeX
- Marcin Gorawski, Pawel Marks:
Towards Reliability and Fault-Tolerance of Distributed Stream Processing System.
246-253
Electronic Edition (link) BibTeX
- Ireneusz J. Jozwiak, Krzysztof Marczak:
A Hardware-Based Software Protection Systems - Analysis of Security Dongles with Time Meters.
254-261
Electronic Edition (link) BibTeX
- Vasilis P. Koutras, Agapios N. Platis:
VoIP Availability and Service Reliability through Software Rejuvenation Policies.
262-269
Electronic Edition (link) BibTeX
- A. Lesiak, Piotr Gawkowski, Janusz Sosnowski:
Error Recovery Problems.
270-277
Electronic Edition (link) BibTeX
- Jan Magott, Pawel Skrobanek, Marek Woda:
Analysis of Timing Requirements for Intrusion Detection System.
278-285
Electronic Edition (link) BibTeX
- Andrzej Zalewski:
A FMECA framework for Service Oriented Systems based on Web Services.
286-293
Electronic Edition (link) BibTeX
- D. C. Craig, Wlodzimierz M. Zuberek:
Verification of Component Behavioral Compatibility.
294-304
Electronic Edition (link) BibTeX
Applications
Copyright © Sat May 16 23:06:25 2009
by Michael Ley (ley@uni-trier.de)
