yusuke1997/dblp-id-title huggingface dataset:
Network Anomaly Detection Based on Statistical Models with Long-Memory Dependence
Towards Reliability and Fault-Tolerance of Distributed Stream Processing System
Availability Analysis of Transport Navigation System Under Imperfect Repair
Generating Repair Rules for Database Integrity Maintenance
Byzantine Fault Tolerance for Agent Systems
Dependability Evaluation of Service-oriented Information System Using Computer Simulation and Post-processing Results
A Group Decision Support Technique for Critical IT Infrastructures
Use of Distributed Machine Learning Toolkit for Searching Content Promoting Hate Speech on the Web
Vulnerability Modelling for the Analysis of Network Attacks
A Formal Approach for Preventive Maintenance Workload Balancing
Application of Computations with Calculation Error Exclusion for Computation Geometry Algorithms
Logistic Support Model for the Sorting Process of Selectively Collected Municipal Waste
Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks
Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases
The SCIP Interoperability Tests in Realistic Heterogeneous Environment
Securing of Integrated Protection of Technical Information by Application of Special Engineering Decisions
Security Enhancement of Java Remote Method Invocation
Freshness Constraints Semantics of RT Framework Credentials
Model Fusion for the Compatibility Verification of Software Components
Maintenance Policy of a Network with Traffic Reconfiguration
Risk Assessment Tool for Maintenance Selection
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies
The Impact of Strong Electromagnetic Pulses on the Operation Process of Electronic Equipment and Systems Used in Intelligent Buildings
Application Level Execution Model for Transparent Distributed Computing
The Complexity of Fault-Tolerant Adder Structures
Semi-Markov Availability Modeling of a Redundant System with Partial and Full Rejuvenation Actions
Using Virtualization Technology for Fault-Tolerant Replication in LAN
Fuzzy approach to economic analysis of dispatcher driven discrete transport systems
The Method of Creating Players in the Marketing Strategy
FSM Simulation of Cryptographic Protocols Using Algebraic Processor
Spreading Information in Distributed Systems Using Gossip Algorithm
A Distributed Firewall using Autonomous Agents
Survey of Recovery Schemes in MPLS Networks
Minimization Problem Subject to Constraint of Availability in Semi-Markov Reliability Models
Correspondent Sensitive Encryption Standard (CSES) Algorithm in Insecure Communication Channel
Vbam - Byzantine Atomic Multicast in LAN Based on Virtualization Technology
A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City
High-Speed Finite State Machine Design by State Splitting
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
Non-Centralized Key Pre-Distribution in Computer Networks
Software Support of the Risk Reduction Assessment in the ValueSec Project Flood Use Case
Fairness in Temporal Verification of Distributed Systems
Investigation Multi-State System Reliability by Structure Function
Spatial Allocation of Bus Stops: Advanced Econometric Modelling
Maintenance Decision Making Process - A Case Study of Passenger Transportation Company
Data Exploration Methods for Transport System Dependability Analysis
Critical Information Infrastructure Protection Model and Methodology, Based on National and NATO Study
Evaluation of MDA/PSM database model quality in the context of selected non-functional requirements
Fault Tolerant ASIC/ULA-Based Computing Systems Testing via FPGA Prototyping with Fault Injection
The Application of RFID Technology in Supporting the Process of Reliable Identification of Objects in Video Surveillance Systems
An Impact of Different Images Color Spaces on the Efficiency of Convolutional Neural Networks
About Synergy of Flows on Flower
Intrusion Detection and Internet Services Failure Reporting System
Verification of Infocommunication System Components for Modeling and Control of Saturated Traffic in Megalopolis
Web Service for Data Extraction from Semi-structured Data Sources
Ranking and Cyclic Job Scheduling in QoS-Guaranteed Grids
Computer Support for the Railway Safety Management System - Requirements Analysis
Aspect-Oriented Management of Service Requests for Assurance of High Performance and Dependability
Low-cost and Universal Secure Scan: a Design- Architecture for Crypto Chips
Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems
Comparison of Parallel and Non-parallel Approaches in Algorithms for CAD of Complex Systems with Higher Degree of Dependability
Multi-clustering Used as Neighbourhood Identification Strategy in Recommender Systems
Building Dependable Intrusion Prevention Systems
Using UML(VR) for Supporting the Automated Test Data Generation
Route Risk Assessment for Road Transport Companies
Security Aspects of SCADA and Corporate Network Interconnection: An Overview
Low Cost FPGA Devices in High Speed Implementations of Keccak-f Hash Algorithm
Estimation of Travel Time in the City Using Neural Networks Trained with Simulated Urban Traffic Data
Normalization as a Preprocessing Engine for Data Mining and the Approach of Preference Matrix
Computer Systems - Simple, Complicated or Complex
The Assessment Method of the Organization of Municipal Waste Collection Zones
Misuse-Based Intrusion Detection Using Bayesian Networks
Identification of Information Technology Security Issues Specific to Industrial Control Systems
Reliability Optimization for Controller Placement in Software-Defined Networks
Anticipation Scheduling in Grid Virtual Organizations
The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas
Evaluation of SOA Security Metrics Using Attack Graphs
Information Systems Metamodels Developing for Providing Structural and Semantic Interoperability
Methodology of the Wireless Networks Planning in Mesh Topology
The Impact of Reconfiguration Time on the Dependability of Complex Web Based Systems
Aspects in the Maintenance of Compiled Programs
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory
Detecting Botnets in Computer Networks Using Multi-agent Technology
The Effect of Large Clock Drifts on Performance of Event and Time Triggered Network Interfaces
Low-Dimensional Classification of Text Documents
Monitoring Reliability of Embedded Systems
Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI Tool
Methods of Efficiency Enhancement of Network Interaction in Distributed Systems of Virtual Reality
A Fault Tolerant Optimization Algorithm based on Evolutionary Computation
Graph-Based Vehicle Traffic Modelling for More Efficient Road Lighting
Deep Stacking Convex Neuro-Fuzzy System and Its On-line Learning
On Irrational Oscillations of a Bipendulum
Detection of Network Attacks Using Hybrid ARIMA-GARCH Model
Scalable Diversity-Oriented Decisions and Technologies for Dependable SoPC-Based Safety-Critical Computer Systems and Infrastructures
Behavior of Web Servers in Stress Tests
Influence of Data Uncertainty on the Optimum Inspection Period in a Multi-unit System Maintained According to the Block Inspection Policy
Tool for Assessment of Testing Effort
Security of Web Services
Metrics for Object-Oriented Design Focusing on Class Inheritance Metrics
A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random Testing
Estimation of System Workload Time Characteristic Using UML Timing Diagrams
Swarm Intelligence Metaheurisics Application in the Diagnosis of Transformer Oil
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack
Automatic Temporal Evaluation of the Accessibility of the World Wide Web and Its Standards Conformance
Access Control Approach in Public Software as a Service Cloud
Web Based Engine for Processing and Clustering of Polish Texts
Architecture for Internet of Things Analytical Ecosystem
Estimation of Impact of Maintenance Policies on Equipment Risk of Failure
Application of Data Encryption for Building Modern Virtual Private Networks
Analysis of Mutation Operators for the Python Language
The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity
Towards Evolution Methodology for Service-Oriented Systems
Platform for Software Quality and Dependability Data Analysis
Defining States in Reliability and Safety Modelling
Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources
Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations
Water Producers Risk Analysis Connected with Collective Water Supply System Functioning
Mathematical Model of Task Scheduling in Educational Cloud
Improving of Non-Interactive Zero-Knowledge Arguments Using Oblivious Transfer
The Use of Heuristics in Creating Speculation Strategy
Effective Algorithm of Simulated Annealing for the Symmetric Traveling Salesman Problem
Verification of Component Behavioral Compatibility
Software Support of the Common Criteria Vulnerability Assessment
Softcomputing Art Style Identification System
Quantification of Simultaneous-AND Gates in Temporal Fault Trees
Dependability of Multichannel Communication System with Maintenance Operations for Air Traffic Management
Structurization of the Common Criteria Vulnerability Assessment Process
Availability Models and Maintenance Strategies for Smart Building Automation Systems Considering Attacks on Component Vulnerabilities
Erratum: CDM: A Prototype Implementation of the Data Mining JDM Standard
Slot Selection Algorithms for Economic Scheduling in Distributed Computing with High QoS Rates
ElGamal Signature Scheme Immune to Fault Analysis
Modelling the Safety Levels of ICT Equipment Exposed to Strong Electromagnetic Pulses
An Unloading Work Model at an Intermodal Terminal
Dependability of Safety-Critical Computer Systems through Component-Based Evolution
d-HMAC Dynamic HMAC function
Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults
Dual-Processor Tasks Scheduling Using Modified Muntz-Coffman Algorithm
Principles of Mobile Walking Robot Control in Scope of Technical Monitoring Tasks
Optimization of Couriers' Routes by Determining Best Route for Distributing Parcels in Urban Traffic
Managing and Enhancing Performance Benchmarks
Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets
Simulation-Based Dependability Analysis of Systems in Multiple Time-Horizons
Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies
System for Estimation of Patient's State - Discussion of the Approach
Functional Readiness of the Check-In Desk System at an Airport
Towards an Ontology-Based Approach to Safety Management in Cooperative Intelligent Transportation Systems
Towards Precise Architectural Decision Models
The Picking Process Model in e-Commerce Industry
On Some Resources Placement Schemes in the 4-Dimensional Soft Degradable Hypercube Processors Network
A Performance Management System for Telecommunication Network Using AI Techniques
Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and Its Adaptive Learning
Prioritization of Tasks in the Strategy Evaluation Procedure
Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents
Heuristic Cycle-Based Scheduling with Backfilling for Large-Scale Distributed Environments
The Scope of the Collected Data for a Holistic Risk Assessment Performance in the Road Freight Transport Companies
Local Optima Networks in Solving Algorithm Selection Problem for TSP
Impulse Transmission Model of Macroeconomic Cycle Within the Framework of the Theory of Shocks: Aspect of Economic Security
A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management
An Intelligent Maritime Workplace using IT technologies
Scheduling Tasks in Embedded Systems Based on NoC Architecture Using Simulated Annealing
Failure Prediction in Water Supply System - Current Issues
Dependability Engineering and Complex Systems - Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Optimization of Privacy Preserving Mechanisms in Mining Continuous Patterns
A Method for Passenger Level of Service Estimation at the Airport Landside
Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices
Time-Dependent Reliability Analysis Based on Structure Function and Logic Differential Calculus
Decision Diagrams for Reliability Analysis of Multi-State System
Autonomy and Cooperation as Factors of Dependability in Wireless Sensor Network
Quadrotor Navigation Using the PID and Neural Network Controller
Method for Railway Timetable Evaluation in Terms of Random Infrastructure Load
Optimization and Control of Transport Processes in the Distributed Systems
Reduction of Computational Cost in Mutation Testing by Sampling Mutants
Algorithmic and Software Aspects of Information System Implementation for Road Maintenance Management
Reliability Assessment of Integrated Airport Surface Surveillance System
The LVA-Index in Clustering
Error Prevention, Detection and Diffusion Algorithms for Cryptographic Hardware
Contemporary Complex Systems and Their Dependability - Proceedings of the 13th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland
Siphon-Based Verification of Component Compatibility
Construction of the Structure Function of Multi-State System Based on Incompletely Specified Data
Discrete Transportation Systems Quality Performance Analysis by Critical States Detection
Unified Approach to Network Systems Multicriteral Analysis
Partially automatic generation of fault-trees with time dependencies
Relational Approach Towards Feasibility Performance for Routing Algorithms in Wireless Sensor Network
Assessing the Costs of Losses Incurred as a Result of Failure
Enhancing Fault Injection Testbench
Algorithm-Aware Makespan Minimisation for Software Testing Under Uncertainty
The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance
Incident Detection and Analysis in Communication and Information Systems by Fuzzy Logic
Attack on Students' Passwords, Findings and Recommendations
A Quality Estimation of Mutation Clustering in C# Programs
Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester
An Approach to Evaluation of Arguments in Trust Cases
Reliability Centered Maintenance of Repairable Equipment
Three Different Approaches in Pedestrian Dynamics Modeling - A Case Study
On Some Computational and Security Aspects of the Blom Scheme
Dependability Analysis of Hierarchically Composed System-of-Systems
Flow Shop Problem with Machine Time Couplings
The SCSI interface conformance tests generation
Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System
Popular FPGA Device Families in Implementation of Cryptographic Algorithms
Functional Readiness of the Security Control System at an Airport with Single-Report Streams
A Concept of a Web Application Blending Thin and Fat Client Architectures
The Role of Enterprise Social Networking (ESN) on Business: Five Effective Recommendations for ESN
On Hardware and Software Implementation of Arithmetic in Finite Fields of Characteristic 7 for Calculation of Pairings
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study
Risk Assessment of Web Based Services
Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach
Development of the Multi-platform Human-Computer Interaction for Mobile and Wearable Devices
Semiformal Approach to the IT Security Development
Complex Network Cluster Reliability Evolution
CDM: A Prototype Implementation of the Data Mining JDM Standard
Duration Calculus for Analysis of Fault Trees with Time Dependencies
Context Information in a Collaborative Recommender System Deployed in Real Environment
Algorithmic and Information Aspects of the Generalized Transportation Problem for Linear Objects on a Two Dimensional Lattice
Software Support for Common Criteria Security Development Process on the Example of a Data Diode
Methodology for Analysis of Networks Performance
Log Based Analysis of Software Application Operation
Business Availability Indicators of Critical Infrastructures Related to the Climate-Weather Change
Tool-Supported Advanced Mutation Approach for Verification of C# Programs
Engineering in Dependability of Computer Systems and Networks - Proceedings of the 14th International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1-5, 2019, Brunów, Poland
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
Consistency-Driven Pairwise Comparisons Approach to Software Product Management and Quality Measurement
Identifying and Simulation of Status of an ICT System Using Rough Sets
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brunów, Poland
A Trustworthy and Privacy Preserving Model for Online Competence Evaluation System
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
Supporting the Automated Generation of Modular Product Line Safety Cases
Supporting Compliance with Security Standards by Trust Case Templates
Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria
Comprehensive Planning Platform Framework for Managing Service-Oriented Information Systems
Conception of Composing Learning Content into Learning Tree to Ensure Reliability of Learning Material
Reliability Modeling of Technical Objects in the Airport Security Checkpoint
A Comparison of Forecasting Methods for Ro-Ro Traffic: A Case Study in the Strait of Gibraltar
State Model of Service Reliability
Transient Fault Detection in State-Automata
Computer Simulation Analysis of Cluster Model of Totally-Connected Flows on the Chain Mail
Fuzzy strategies in modeling effects of technological implementations
Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application
Organization of AES Cryptographic Unit for Low Cost FPGA Implementation
Comparative Analysis of Calculations in Cryptographic Protocols Using a Combination of Different Bases of Finite Fields
2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland
XML Schema Based Faultset Definition to Improve Faults Injection Tools Interoperability
On Opportunity of Application of Modular Arithmetic for Accuracy Improvement in Positioning of Virtual Reality Moving Objects
Web Systems Availability Assessment Considering Attacks on Service Configuration Vulnerabilities
Deterministic Schedule of Task in Multiprocessor Computer Systems with Higher Degree of Dependability
Efficiency Analysis in Communication Networks Topology Design
Decision Model of Wind Turbines Maintenance Planning
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation
Efficiency of Reliability Evaluation of Large Electric Power Systems
Dependability Aspects of Autonomic Cooperative Computing Systems
Dataflow Analysis of Distributed Programs Using Generalized Marked Nets
Dependability of Large Reconfigurable Information Systems
A Recommender System Based on Content Clustering Used to Propose Forum Articles
Disturbance Injection in Dependability Assessment of Android Applications
Adaptation of Ant Colony Algorithm for CAD of Complex Systems with Higher Degree of Dependability
On Application of Regime-Switching Models for Short-Term Traffic Flow Forecasting
Intelligent Agent for Weather Parameters Prediction
Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations
Transformational Modeling of BPMN Business Process in SOA Context
Performance Issues in Creating Cloud Environment
Efficient Training of Context-Dependent Neural Nets with Conjugate Gradient Algorithms
Mutation Testing Process Combined with Test-Driven Development in .NET Environment
Operational Availability of Railway Dispatch Communication System
Short-Term and Long-Term Memory in Tabu Search Algorithm for CAD of Complex Systems with Higher Degree of Dependability
Error Recovery Problems
Native Support for Modbus RTU Protocol in Snort Intrusion Detection System
Analysis of Physical Layer Model of WLAN 802.11g Data Transmission Protocol in Wireless Networks Used by Telematic Systems
Towards Mixed-Mode Risk Management - A Concept
Practical Problems of Internet Threats Analyses
Associative Probabilistic Neuro-Fuzzy System for Data Classification Under Short Training Set Conditions
Discrete transport system simulated by SSF for reliability and functional analysis
Problems of Parallel Realization of Algorithms Calculation of Electronic Structure of Large Molecules
Spartan FPGA Devices in Implementations of AES, BLAKE and Keccak Cryptographic Functions
An Information Rate of Key Predistribution Schemes with Mutually Complementary Correctness Conditions
Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position
Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability
Critical Infrastructures Risk Manager - The Basic Requirements Elaboration
Implementing Salsa20 vs. AES and Serpent Ciphers in Popular-Grade FPGA Devices
K-Induction Based Verification of Real-Time Safety Critical Systems
The basics of methodology for estimation and choosing parameters of multi-service telecommunication systems
Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application
Availability of Discrete Transport System Simulated by SSF Tool
Verification and Implementation of Dependable Controllers
Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources
Aspect-Oriented Test Case Generation from Matlab/Simulink Models
Life Cycle Cost through Reliability
Fault-Masking Capabilities of Basic Circuit Structures
Partial Blur: Model, Detection, Deblurring
A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems
Dependability Analysis of SOA Systems
Vulnerability of Passenger Transportation System - The Main Information Provided by Key Stakeholders. Case Study
WLAN System with Iterative Decoding of OFDM Multi-symbols
SCADA Intrusion Detection Based on Modelling of Allowed Communication Patterns
Impact of Selected Java Idioms on Source Code Maintainability - Empirical Study
Computerization of Operation Process in Municipal Transport
Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009
Formal Semantics and Reasoning about UML Class Diagram
Distributed Time Management in Wireless Sensor Networks
SeReCon: A Trusted Environment for SoPC Design
Propagation Losses in Urban Areas
The Concept of the Effective Multi-channel CSMA/CA Detector
A Multi-tier Architecture to Safely Share Digital Medical Images
Process of Mobile Application Development from the Security Perspective
Investigation of Small-Consequence Undesirable Events in Terms of Railway Risk Assessment
Applying F(I)MEA-technique for SCADA-Based Industrial Control Systems Dependability Assessment and Ensuring
Development of distributed planner for decision support systems
Selection of Metrics for the Defect Prediction
Internet-Based Production Monitoring and Reporting