DepCoS-RELCOMEX 2006:
Szklarska Poreba,
Poland
2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland.
IEEE Computer Society 2006, ISBN 0-7695-2565-2 BibTeX
Introduction
Modeling
- Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero:
UML Based Reverse Engineering for the Verification of Railway Control Logics.
3-10
Electronic Edition (link) BibTeX
- D. C. Craig, Wlodzimierz M. Zuberek:
Compatibility of Software Components - Modeling and Verification.
11-18
Electronic Edition (link) BibTeX
- Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz:
Feasibility Analysis of MDA-based Database Design.
19-26
Electronic Edition (link) BibTeX
- Artur Krystosik:
Embedded Systems Modeling Language.
27-34
Electronic Edition (link) BibTeX
- Z. Lipinski:
State Model of Service Reliability.
35-42
Electronic Edition (link) BibTeX
- Jan Magott, Pawel Skrobanek:
Partially automatic generation of fault-trees with time dependencies.
43-50
Electronic Edition (link) BibTeX
- Marcin Szlenk:
Formal Semantics and Reasoning about UML Class Diagram.
51-59
Electronic Edition (link) BibTeX
Methodology and Tools
Dependability of Computer Networks
Software Security and Reliability
Multi-Agent Systems
- Tadashi Araragi:
Byzantine Fault Tolerance for Agent Systems.
232-239
Electronic Edition (link) BibTeX
- Velik Bellemin, Tadashi Araragi:
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack.
240-247
Electronic Edition (link) BibTeX
- Dalila Boughaci, Habiba Drias, Ahmed Bendib, Youcef Bouznit, Belaid Benhamou:
Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents.
248-255
Electronic Edition (link) BibTeX
- Dalila Boughaci, Habiba Drias, Brahim Oubeka, Abdelkader Aissioui, Belaid Benhamou:
A Distributed Firewall using Autonomous Agents.
256-263
Electronic Edition (link) BibTeX
- I-Hsin Chou, Chin-Feng Fan:
A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management.
264-275
Electronic Edition (link) BibTeX
Fault Tolerance in Digital Systems
Applications
- George J. Anders, Jaroslaw Sugier:
Risk Assessment Tool for Maintenance Selection.
306-313
Electronic Edition (link) BibTeX
- O. V. Berestnev, E. M. Kharitonov:
Securing of Integrated Protection of Technical Information by Application of Special Engineering Decisions.
314-318
Electronic Edition (link) BibTeX
- Samia Boucherkha, Mohamed Benmohamed:
A Multi-tier Architecture to Safely Share Digital Medical Images.
319-326
Electronic Edition (link) BibTeX
- Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Chun-Yu Chen, Wan-Tsz Tu, Swu Yih, Chang Tzeng, Cherng-Tsong Kuo, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Chun-Yu Chen, Wan-Tsz Tu:
Digital Instrumentation and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor.
327-334
Electronic Edition (link) BibTeX
- Francisco Fernández de Vega:
A Fault Tolerant Optimization Algorithm based on Evolutionary Computation.
335-342
Electronic Edition (link) BibTeX
- B. Kalinowski, G. Anders:
Efficiency of Reliability Evaluation of Large Electric Power Systems.
343-350
Electronic Edition (link) BibTeX
- Henryk Maciejewski, George Anders:
Estimation of Impact of Maintenance Policies on Equipment Risk of Failure.
351-357
Electronic Edition (link) BibTeX
- Jacek Mazurkiewicz, Tomasz Walkowiak:
Computer modeling and simulation of discrete transport system with dispatcher for reliability and economic analysis.
358-365
Electronic Edition (link) BibTeX
- Tomasz Walkowiak, Jacek Mazurkiewicz:
Fuzzy approach to economic analysis of dispatcher driven discrete transport systems.
366-373
Electronic Edition (link) BibTeX
- Marek Woda:
Conception of Composing Learning Content into Learning Tree to Ensure Reliability of Learning Material.
374-381
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:06:25 2009
by Michael Ley (ley@uni-trier.de)
