default search action
DepCoS-RELCOMEX 2013: Brunów, Poland
- Wojciech Zamojski, Jacek Mazurkiewicz
, Jaroslaw Sugier, Tomasz Walkowiak
New Results in Dependability and Computer Systems - Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland. Advances in Intelligent Systems and Computing 224, Springer 2013, ISBN 978-3-319-00944-5 - Razvan-Mihai Aciu, Horia Ciocarlie:
Application Level Execution Model for Transparent Distributed Computing. 1-10 - Jacek Baginski
Software Support of the Risk Reduction Assessment in the ValueSec Project Flood Use Case. 11-24 - Andrzej Bialas
Risk Assessment Aspects in Mastering the Value Function of Security Measures. 25-39 - Ilona Bluemke
Reduction of Computational Cost in Mutation Testing by Sampling Mutants. 41-51 - Boukezzi Larbi, Boubakeur Ahmed:
Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties under Thermal Aging. 53-61 - Alexander P. Buslaev, Pavel M. Strusinskiy:
Computer Simulation Analysis of Cluster Model of Totally-Connected Flows on the Chain Mail. 63-73 - Michal Bylak, Dariusz Laskowski
Assessment of Network Coding Mechanism for the Network Protocol Stack 802.15.4/6LoWPAN. 75-82 - Dariusz Caban
Reliability Analysis of Discrete Transportation Systems Using Critical States. 83-92 - Bartosz Chrabski, Cezary Orlowski:
A Reference Model for the Selection of Open Source Tools for Requirements Management. 93-107 - Adam Czubak
A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms. 109-118 - Anna Derezinska
A Quality Estimation of Mutation Clustering in C# Programs. 119-129 - Fernando Dettoni, Lau Cheuk Lung, Aldelir Fernando Luiz:
Using Virtualization Technology for Fault-Tolerant Replication in LAN. 131-140 - Ernest Edifor, Martin Walker
Quantification of Simultaneous-AND Gates in Temporal Fault Trees. 141-151 - Alexander Frolov
Improving of Non-Interactive Zero-Knowledge Arguments Using Oblivious Transfer. 153-171 - Mariusz Gola, Adam Czubak
Virtual Environment for Implementation and Testing Private Wide Area Network Solutions. 173-182 - Marcin Gorawski, Pawel Jureczek:
Optimization of Privacy Preserving Mechanisms in Mining Continuous Patterns. 183-194 - Mikhail G. Gorodnichev
Technical and Program Aspects on Monitoring of Highway Flows (Case Study of Moscow City). 195-204 - Franciszek Grabski:
Integral Functionals of semi-Markov Processes in Reliability Problems. 205-213 - Feras Hanandeh, Yaser Quasmeh:
Generating Repair Rules for Database Integrity Maintenance. 215-224 - Codruta-Mihaela Istin, Horia Ciocarlie, Razvan Aciu:
Optimization Algorithm for the Preservation of Sensor Coverage. 225-235 - Ireneusz Jozwiak, Michal Kedziora, Aleksandra Melinska:
Methods for Detecting and Analyzing Hidden FAT32 Volumes Created with the Use of Cryptographic Tools. 237-244 - Vyacheslav S. Kharchenko
Critical Infrastructures Safety Assessment Combining Fuzzy Models and Bayesian Belief Network under Uncertainties. 245-254 - Szymon Kijas, Andrzej Zalewski
Towards Evolution Methodology for Service-Oriented Systems. 255-273 - Piotr Lasek:
The LVA-Index in Clustering. 275-283 - Robert Lubas
Three Different Approaches in Pedestrian Dynamics Modeling - A Case Study. 285-294 - Piotr Lubkowski, Dariusz Laskowski
The End-To-End Rate Adaptation Application for Real-Time Video Monitoring. 295-305 - Jacek Mazurkiewicz
Discrete Transportation Systems Quality Performance Analysis by Critical States Detection. 307-314 - Marcin Mycek:
An Expanded Concept of the Borrowed Time as a Mean of Increasing the Average Speed Isotropy on Regular Grids. 315-324 - Wojciech Pikulski, Krzysztof Sacha:
Freshness Constraints in the RT Framework. 325-334 - Andrzej Ratkowski:
Transformational Modeling of BPMN Business Process in SOA Context. 335-344 - Anton Shmakov:
Algorithmic and Information Aspects of the Generalized Transportation Problem for Linear Objects on a Two Dimensional Lattice. 345-352 - Miroslaw Siergiejczyk
Reliability Assessment of Supporting Satellite System EGNOS. 353-363 - Marcelo Ribeiro Xavier Silva, Lau Cheuk Lung, Leandro Quibem Magnabosco, Luciana de Oliveira Rech:
Vbam - Byzantine Atomic Multicast in LAN Based on Virtualization Technology. 365-374 - Andrzej Stasiak
An Approach to Automated Verification of Multi-Level Security System Models. 375-388 - Pawel Stelmach, Lukasz Falas
A Web Service-Based Platform for Distributed Web Applications Integration. 389-398 - Pawel Stelmach, Patryk Schauer
Universal Platform for Composite Data Stream Processing Services Management. 399-407 - Wojciech Stolarz, Marek Woda
Proposal of Cost-Effective Tenant-Based Resource Allocation Model for a SaaS System. 409-420 - Emil Stupiec, Tomasz Walkowiak
Automatic Load Testing of Web Application in SaaS Model. 421-430 - Jaroslaw Sugier
Implementing Salsa20 vs. AES and Serpent Ciphers in Popular-Grade FPGA Devices. 431-438 - Tomasz R. Surmacz
On Testing Wireless Sensor Networks. 439-448 - Marcin Szlenk
Towards Precise Architectural Decision Models. 449-458 - Victor V. Toporkov
Slot Selection Algorithms for Economic Scheduling in Distributed Computing with High QoS Rates. 459-468 - Tamás Tóth
K-Induction Based Verification of Real-Time Safety Critical Systems. 469-478 - Wojciech Tylman
Native Support for Modbus RTU Protocol in Snort Intrusion Detection System. 479-487 - Wojciech Tylman
SCADA Intrusion Detection Based on Modelling of Allowed Communication Patterns. 489-500 - Wojciech Tylman
System for Estimation of Patient's State - Discussion of the Approach. 501-511 - Michal Wódczak
Dependability Aspects of Autonomic Cooperative Computing Systems. 513-521 - Yann-Guirec Manac'h, Khaled Benfriha
Life Cycle Cost through Reliability. 523-530 - Marina V. Yashina
Verification of Infocommunication System Components for Modeling and Control of Saturated Traffic in Megalopolis. 531-542 - Wlodzimierz M. Zuberek
Shuffle-Based Verification of Component Compatibility. 543-552
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-02-19 00:33 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: