Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009
| 2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 004.2/4 |
| Altri autori (Persone) |
ZamojskiWojciech
WięckowskiTadeusz |
| Soggetto topico |
Computer systems - Reliability
Computer systems - Evaluation |
| ISBN | 1-5090-7155-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216421603316 |
| New York : , : IEEE, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009
| 2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 004.2/4 |
| Altri autori (Persone) |
ZamojskiWojciech
WięckowskiTadeusz |
| Soggetto topico |
Computer systems - Reliability
Computer systems - Evaluation |
| ISBN | 1-5090-7155-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139854503321 |
| New York : , : IEEE, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Dependability Engineering of Complex Systems : Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
| Advances in Dependability Engineering of Complex Systems : Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 488 p. 201 illus.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Dynamics Nonlinear theories Computational Intelligence Artificial Intelligence Applied Dynamical Systems |
| ISBN | 3-319-59415-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Detection of network attacks using hybrid ARIMA-GARCH model- 2.Towards mixed-mode risk management – a concept; Andrzej Bialas and Barbara Flisiuk -- 3.Software support of the Common Criteria vulnerability assessment -- 4.On the performance of some C# constructions -- 5.Deep Stacking Convex Neuro-Fuzzy System and its On-line Learning -- 6.Fault tolerant ASIC/ULA-based computing systems testing via FPGA prototyping with fault injection -- 7.Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk -- 8.Modelling an Optimal Capital Structure of the Telecommunication Company -- 9.Specification of constraints in a System-of-Systems configuration; Dariusz Caban and Tomasz Walkowiak -- 10.A Methodological Framework for Model-based Self-Management of Services and Components in Dependable Cyber-Physical Systems -- 11.Maintenance of wind turbine scheduling based on output power data and wind forecast -- 12.Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13.Scheduling tasks in embedded systems based on NoC architecture using Simulated Annealing -- 14.Adaptation of Ant Colony Algorithm for CAD of complex systems with higher degree of dependability -- 15.Context-Aware Anomaly Detection in Embedded Systems;Fatemeh Ehsani-Besheli and Hamid R. Zarandi -- 16.Comparative analysis of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic Redundancy in Communication Network of Air Traffic Management System -- 18.Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities -- 19.Concept of multi-criteria evaluation of the airport security control process -- 20.Extending Continuous Integration with post-mortem debug automation of unhandled exceptions occurred in kernel or user mode applications -- 21.The Methodology of Studying of Active Traffic Management Module Self-Oscillation Regime -- 22.Effectiveness examination of a multi-channel CSMA/CA detector -- 23.IaaS vs. traditional hosting for web applications - cost effectiveness analysis for a local market -- 24.High quality stabilization of an inverted pendulum using the controller based on trigonometric function -- 25.The application of RFID technology in supporting the process of reliable identification of objects in video surveillance systems -- 26.Aspect-oriented management of service requests for assurance of high performance and dependability -- 27.Process of mobile application development from the security perspective -- 28.Managing and Enhancing Performance Benchmarks;Jakub Maleszewski and Janusz Sosnowski -- 29.Reliability Optimization for Controller Placement in Software-Defined Networks -- 30.Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations -- 31.RELIABILITY ASSESSMENT OF DRIVING SYSTEMS OF CITY BUSES;Marek M³yñczak -- 32.Testing the significance of parameters of models estimating execution time of parallel program loops according to the Open MPI standard -- 33.On application of regime-switching models for short-term traffic flow forecasting -- 34.Critical information infrastructure protection model and methodology -- 35.The method of creating players in the marketing strategy;Henryk Piech -- 36.Principles of mobile walking robot control in scope of technical monitoring tasks -- 37.Computer Systems – Simple -- 38.Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources -- 39.Assurance Case Patterns On-line Catalogue;Monika Szczygielska and Aleksander Jarzêbowicz -- 40.Information system as a cause of cargo handling process disruption in intermodal terminal -- 42.Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation -- 43.The scope of the collected data for a holistic risk assessment performance in the road freight transport companies -- 44.Language Processing Modelling Notation – orchestration of NLP microservices -- 45.Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources. |
| Record Nr. | UNINA-9910299915003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contemporary Complex Systems and Their Dependability : Proceedings of the Thirteenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
| Contemporary Complex Systems and Their Dependability : Proceedings of the Thirteenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 566 p. 219 illus.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
| ISBN | 3-319-91446-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484972703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
| 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 / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 606 p. 242 illus., 105 illus. in color.) |
| Disciplina | 003 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational complexity Computational Intelligence Artificial Intelligence Complexity |
| ISBN | 3-319-39639-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction -- Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position -- Critical Infrastructure Protection – How to Assess the Protection Efficiency -- Selection of Metrics for the Defect Prediction -- Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and its Adaptive Learning -- Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System -- About Synergy of Flows on Flower -- Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks -- Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs -- Tracing Life Cycle of Software Bugs -- Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability -- Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester -- Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester -- Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases -- Stochastic Runge–Kutta Software Package for Stochastic Differential Equations -- The Assessment Method of the Organization of Municipal Waste Collection Zones -- NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules -- Semi-Markov Model of Damage Process -- The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity -- Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens -- Influence of Data Uncertainty on The Optimum Inspection Period in a Multi-Unit System Maintained According to the Block Inspection Policy -- Effectiveness of Redundancy in Communication Network of Air Traffic Management System -- Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases -- A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City -- The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of its Implementation Using Various Strategies -- WLAN System with Iterative Decoding of OFDM Multi-Symbols -- Context Information in a Collaborative Recommender System Deployed in Real Environment -- The Concept of the Effective Multi-Channel CSMA/CA Detector -- Clustering Context Items into User Trust Levels -- Dependability Metrics for Network Systems - Analytical and Experimental Analysis -- Assessing the Costs of Losses Incurred as a Result of Failure -- Impulse Transmission Model of Macroeconomic Cycle within the Framework of the Theory of Shocks: Aspect of Economic Security -- Multi-agent Systems for Intelligent Retrieval and Processing of Information.-Architecture for Internet of Things Analytical Ecosystem -- Optimal Path Evolution in a Dynamic Distributed MEMS-based Conveyor -- The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas -- Implication of Availability of an Electrical System of a Wind Farm for the Farm’s Output Power Estimation -- CPU Utilization Analysis of Selected Genetic Algorithms in Multi-Core Systems for a Certain Class Of Problems -- Monitoring Reliability of Embedded Systems -- Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices -- Risk Analysis of Interference Railway GSM-R System in Polish Conditions -- Water Producers Risk Analysis Connected with Collective Water Supply System Functioning -- Analysis of Reshuffling Cost at a Container Terminal -- Scheduling in Grid Based on VO Stakeholders Preferences and Criteria -- Vulnerability of Passenger Transportation System – the Main Information Provided by Key Stakeholders. Case Study -- Asynchronous System for Clustering and Classifications of Texts in Polish -- Simulation-based Dependability Analysis of Systems in Multiple Time-Horizons -- Compression Codec Change Mechanisms During a VoIP Call -- Dependability Model of an Area Monitoring System with Mobile Sensors -- Supr: Adaptive Byzantine Fault-Tolerant Replication -- Flood Risk Assessment from Flash Floods in Bodva River Basin, Slovakia -- Invariant–based Performance Analysis of Timed Petri Net Models. |
| Record Nr. | UNINA-9910254221403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependability Problems of Complex Information Systems / / edited by Wojciech Zamojski, Jarosław Sugier
| Dependability Problems of Complex Information Systems / / edited by Wojciech Zamojski, Jarosław Sugier |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (194 p.) |
| Disciplina | 620.00452 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-08964-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prediction of the Performance of Web Based Systems -- Modelling Uncertain Aspects of System Dependability with Survival Signatures -- Improving the Dependability of Distributed Surveillance Systems Using Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey -- Agent Approach to Network Systems Dependability Analysis in Case of Critical Situations -- Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems -- Optimization in CIS Systems -- Metascheduling Strategies in Distributed Computing with Non-dedicated Resources -- Improvement of Dependability of Complex Web Based Systems by Service Reconfiguration -- Functional-reliability Model of a Services System with Path Reconfiguration Ability. |
| Record Nr. | UNINA-9910299664803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering in Dependability of Computer Systems and Networks : Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1–5, 2019, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
| Engineering in Dependability of Computer Systems and Networks : Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1–5, 2019, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (569 pages) |
| Disciplina |
004.24
005 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
| ISBN | 3-030-19501-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483802903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Advances in Dependability of Networks and Systems : Proceedings of the Seventeenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 27 – July 1, 2022, Wrocław, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
| New Advances in Dependability of Networks and Systems : Proceedings of the Seventeenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 27 – July 1, 2022, Wrocław, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (413 pages) |
| Disciplina |
004
004.2 |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
| ISBN | 3-031-06746-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Measures of Outlierness in High-Dimensional Data under Correlation of Features - with Application for Open-Set Classification, Szymon Datko, Henryk Maciejewski, Tomasz Walkowiak -- Multiprocessor tasks scheduling - Fuzzy Logic Approach, Dariusz Dorota -- Nonparametric tracking for time-varying nonlinearities using the kernel method, Purva Joshi, Grzegorz Mzyk -- Embedded systems' startup code optimization, Patryk Pankiewicz -- Influence of accelerometer placement on biometric gaitidentification, Aleksander Sawicki -- An Impact of Data Augmentation Techniques on the Robustness of CNNs, Kamil Szyc -- Dual Learning Model for Multiclass Brain Tumor classification, Rohit Thanki, Sanna Kaddoura. |
| Record Nr. | UNINA-9910574046403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New results in dependability and computer systems : proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunow, Poland / / Wojciech Zamojski [and four others], editors
| New results in dependability and computer systems : proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunow, Poland / / Wojciech Zamojski [and four others], editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xv, 554 pages) : illustrations (some color) |
| Disciplina | 003.5 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico | Computers - Reliability |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-319-00945-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application Level Execution Model for Transparent Distributed Computing -- Software support of the risk reduction assessment in the ValueSec project flood use case -- Risk assessment aspects in mastering the value function of security measures -- Reduction of computational cost in mutation testing by sampling mutants -- Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties Under Thermal Aging -- Computer simulation analysis of cluster model of totally-connected flows on the chain mail1 -- Assessment of network coding mechanism for the network protocol stack -- Reliability analysis of discrete transportation systems using critical states -- A reference model for the selection of Open Source tools for requirements management -- A Probabilistic Approach to the Count-to-Infinity Problem in Distance-Vector Routing Algorithms -- A quality estimation of mutation clustering in C# programs -- Using Virtualization Technology for Fault-Tolerant Replication in LAN. |
| Record Nr. | UNINA-9910437805703321 |
| Cham, Switzerland : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the International Conference on Dependability of Computer Systems : DepCoS-RELCOMEX 2008, Szklarska Poręba, Poland, 26-28 June, 2008
| Proceedings of the International Conference on Dependability of Computer Systems : DepCoS-RELCOMEX 2008, Szklarska Poręba, Poland, 26-28 June, 2008 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2008 |
| Soggetto topico |
Computer systems - Reliability
Computer systems - Evaluation Computer Science Engineering & Applied Sciences |
| ISBN | 1-5090-7918-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216640103316 |
| [Place of publication not identified], : IEEE Computer Society, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
