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.
Bistatic HF Radar
| Bistatic HF Radar |
| Autore | Anderson Stuart |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (204 p.) |
| Soggetto topico | History of engineering and technology |
| Soggetto non controllato |
bistatic configuration
bistatic HF radar bistatic HFSWR bistatic radar compact HFSWR cyclic cross ambiguity function data fusion directional wave spectrum Doppler spectra electromagnetic scattering experiment verification extended Kalman filter extreme learning machine first-order sea clutter GPS HF radar HFSWR interacting multiple model inversion multiple satellites collaboration OTH radar passive detection radar cross section radar cross section (RCS) radio oceanography remote sensing scattering coefficient sea clutter shipborne HFSWR shore-to-air bistatic HF radar target detection target tracking track association |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557296503321 |
Anderson Stuart
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability and Security [[electronic resource] ] : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / / edited by Stuart Anderson, Sandro Bologna, Massimo Felici
| Computer Safety, Reliability and Security [[electronic resource] ] : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / / edited by Stuart Anderson, Sandro Bologna, Massimo Felici |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (CCCLXXII, 352 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Optical data processing Data encryption (Computer science) Coding theory Information theory Special purpose computers Computer logic Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Cryptology Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs |
| ISBN | 3-540-45732-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002) -- Human-Computer System Dependability -- Dependability of Joint Human-Computer Systems -- Keynote Talk -- Dependability in the Information Society: Getting Ready for the FP6 -- Human Factors -- A Rigorous View of Mode Confusion -- Dependability as Ordinary Action -- Security -- Practical Solutions to Key Recovery Based on PKI in IP Security -- Redundant Data Acquisition in a Distributed Security Compound -- Survivability Strategy for a Security Critical Process -- Dependability Assessment (Poster Session) -- Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation -- Safety and Security Analysis of Object-Oriented Models -- The CORAS Framework for a Model-Based Risk Management Process -- Keynote Talk -- Software Challenges in Aviation Systems -- Application of Formal Methods (Poster Session) -- A Strategy for Improving the Efficiency of Procedure Verification -- Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time -- Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components -- Reliability Assessment -- Assessment of the Benefit of Redundant Systems -- Estimating Residual Faults from Code Coverage -- Design for Dependability -- Towards a Metrics Based Verification and Validation Maturity Model -- Analysing the Safety of a Software Development Process -- Software Criticality Analysis of COTS/SOUP -- Safety Assessment -- Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System -- Checking Safe Trajectories of Aircraft Using Hybrid Automata -- Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model -- Keynote Talk -- On Diversity, and the Elusiveness of Independence -- Design for Dependability (Poster Session) -- An Approach to a New Network Security Architecture for Academic Environments -- A Watchdog Processor Architecture with Minimal Performance Overhead -- Application of Formal Methods -- Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant -- Assertion Checking Environment (ACE) for Formal Verification of C Programs -- Safety Analysis of the Height Control System for the Elbtunnel -- Design for Dependability -- Dependability and Configurability: Partners or Competitors in Pervasive Computing? -- Architectural Considerations in the Certification of Modular Systems -- A Problem-Oriented Approach to Common Criteria Certification. |
| Record Nr. | UNISA-996466220603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / / edited by Stuart Anderson, Sandro Bologna, Massimo Felici
| Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / / edited by Stuart Anderson, Sandro Bologna, Massimo Felici |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (CCCLXXII, 352 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Optical data processing Data encryption (Computer science) Coding theory Information theory Computers, Special purpose Computer logic Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Cryptology Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs |
| ISBN | 3-540-45732-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002) -- Human-Computer System Dependability -- Dependability of Joint Human-Computer Systems -- Keynote Talk -- Dependability in the Information Society: Getting Ready for the FP6 -- Human Factors -- A Rigorous View of Mode Confusion -- Dependability as Ordinary Action -- Security -- Practical Solutions to Key Recovery Based on PKI in IP Security -- Redundant Data Acquisition in a Distributed Security Compound -- Survivability Strategy for a Security Critical Process -- Dependability Assessment (Poster Session) -- Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation -- Safety and Security Analysis of Object-Oriented Models -- The CORAS Framework for a Model-Based Risk Management Process -- Keynote Talk -- Software Challenges in Aviation Systems -- Application of Formal Methods (Poster Session) -- A Strategy for Improving the Efficiency of Procedure Verification -- Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time -- Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components -- Reliability Assessment -- Assessment of the Benefit of Redundant Systems -- Estimating Residual Faults from Code Coverage -- Design for Dependability -- Towards a Metrics Based Verification and Validation Maturity Model -- Analysing the Safety of a Software Development Process -- Software Criticality Analysis of COTS/SOUP -- Safety Assessment -- Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System -- Checking Safe Trajectories of Aircraft Using Hybrid Automata -- Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model -- Keynote Talk -- On Diversity, and the Elusiveness of Independence -- Design for Dependability (Poster Session) -- An Approach to a New Network Security Architecture for Academic Environments -- A Watchdog Processor Architecture with Minimal Performance Overhead -- Application of Formal Methods -- Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant -- Assertion Checking Environment (ACE) for Formal Verification of C Programs -- Safety Analysis of the Height Control System for the Elbtunnel -- Design for Dependability -- Dependability and Configurability: Partners or Competitors in Pervasive Computing? -- Architectural Considerations in the Certification of Modular Systems -- A Problem-Oriented Approach to Common Criteria Certification. |
| Record Nr. | UNINA-9910143904903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / / edited by Stuart Anderson, Massimo Felici, Bev Littlewood
| Computer Safety, Reliability, and Security [[electronic resource] ] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / / edited by Stuart Anderson, Massimo Felici, Bev Littlewood |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVIII, 426 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Special purpose computers Coding theory Information theory Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Coding and Information Theory Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-39878-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk -- Issues in Safety Assurance -- Formal Methods -- Elicitation and Validation of Graphical Dependability Models -- Visual Modeling and Verification of Distributed Reactive Systems -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform -- Design for Dependability -- Integrity Static Analysis of COTS/SOUP -- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks -- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks -- A Dependability Model for Domestic Systems -- Security and Formal Methods -- Modelling and Verification of Layered Security Protocols: A Bank Application -- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity -- Software Tamper Resistance Using Program Certificates -- Keynote Talk -- Developing High Assurance Systems: On the Role of Software Tools -- Dependability and Performance Analysis -- Web Service Availability – Impact of Error Recovery -- A Unified Tool for Performance Modelling and Prediction -- Dependability of Medical Systems -- An Approach to Trust Case Development -- Reliable Data Replication in a Wireless Medical Emergency Network -- Critical Feature Analysis of a Radiotherapy Machine -- Fault Tolerance -- Byzantine Fault Tolerance, from Theory to Reality -- Redundancy Management for Drive-by-Wire Computer Systems -- Fault-Tolerant Communication System to Improve Safety in Railway Environments -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design -- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW -- On the Role of Traceability for Standards Compliance: Tracking Requirements to Code -- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development -- Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing Environments -- Dependability and Survivability of Large Complex Critical Infrastructures -- Hazard and Safety Analysis -- Safety Assessment of Experimental Air Traffic Management Procedures -- The Application of Causal Analysis Techniques for Computer-Related Mishaps -- Reuse in Hazard Analysis: Identification and Support -- Design for Dependability -- The Characteristics of Data in Data-Intensive Safety-Related Systems -- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. |
| Record Nr. | UNISA-996465804003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / / edited by Stuart Anderson, Massimo Felici, Bev Littlewood
| Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / / edited by Stuart Anderson, Massimo Felici, Bev Littlewood |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVIII, 426 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Coding theory Information theory Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Coding and Information Theory Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-39878-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk -- Issues in Safety Assurance -- Formal Methods -- Elicitation and Validation of Graphical Dependability Models -- Visual Modeling and Verification of Distributed Reactive Systems -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform -- Design for Dependability -- Integrity Static Analysis of COTS/SOUP -- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks -- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks -- A Dependability Model for Domestic Systems -- Security and Formal Methods -- Modelling and Verification of Layered Security Protocols: A Bank Application -- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity -- Software Tamper Resistance Using Program Certificates -- Keynote Talk -- Developing High Assurance Systems: On the Role of Software Tools -- Dependability and Performance Analysis -- Web Service Availability – Impact of Error Recovery -- A Unified Tool for Performance Modelling and Prediction -- Dependability of Medical Systems -- An Approach to Trust Case Development -- Reliable Data Replication in a Wireless Medical Emergency Network -- Critical Feature Analysis of a Radiotherapy Machine -- Fault Tolerance -- Byzantine Fault Tolerance, from Theory to Reality -- Redundancy Management for Drive-by-Wire Computer Systems -- Fault-Tolerant Communication System to Improve Safety in Railway Environments -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design -- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW -- On the Role of Traceability for Standards Compliance: Tracking Requirements to Code -- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development -- Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing Environments -- Dependability and Survivability of Large Complex Critical Infrastructures -- Hazard and Safety Analysis -- Safety Assessment of Experimental Air Traffic Management Procedures -- The Application of Causal Analysis Techniques for Computer-Related Mishaps -- Reuse in Hazard Analysis: Identification and Support -- Design for Dependability -- The Characteristics of Data in Data-Intensive Safety-Related Systems -- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. |
| Record Nr. | UNINA-9910143867603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||