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.
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
| Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 343 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Computer communication systems Software engineering Computers Special purpose computers Systems and Data Security Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems and Communication Service Software Engineering Special Purpose and Application-Based Systems |
| Soggetto genere / forma |
Hamburg (2009)
Kongress. |
| ISBN | 3-642-04468-9 |
| Classificazione |
DAT 050f
DAT 260f DAT 343f DAT 460f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems -- Medical Systems -- Model-Based Development of Medical Devices -- Why Are People’s Decisions Sometimes Worse with Computer Support? -- Industrial Experience -- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications -- Probability of Failure on Demand – The Why and the How -- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems -- Security Risk Analysis -- Exploring Network Security in PROFIsafe -- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms -- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security -- Safety Guidelines -- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508 -- Analysing Dependability Case Arguments Using Quality Models -- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB -- Automotive -- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats -- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective -- Aerospace -- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems -- Formal Verification of a Microkernel Used in Dependable Software Systems -- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do -- Verification, Validation, Test -- Probabilistic Failure Propagation and Transformation Analysis -- Towards Model-Based Automatic Testing of Attack Scenarios -- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting -- Fault Tolerance -- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure -- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel -- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation for Requirements Analysis of Dependable Software -- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control. |
| Record Nr. | UNISA-996465672203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
| Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 343 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Computer communication systems Software engineering Computers Special purpose computers Systems and Data Security Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems and Communication Service Software Engineering Special Purpose and Application-Based Systems |
| Soggetto genere / forma |
Hamburg (2009)
Kongress. |
| ISBN | 3-642-04468-9 |
| Classificazione |
DAT 050f
DAT 260f DAT 343f DAT 460f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems -- Medical Systems -- Model-Based Development of Medical Devices -- Why Are People’s Decisions Sometimes Worse with Computer Support? -- Industrial Experience -- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications -- Probability of Failure on Demand – The Why and the How -- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems -- Security Risk Analysis -- Exploring Network Security in PROFIsafe -- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms -- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security -- Safety Guidelines -- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508 -- Analysing Dependability Case Arguments Using Quality Models -- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB -- Automotive -- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats -- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective -- Aerospace -- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems -- Formal Verification of a Microkernel Used in Dependable Software Systems -- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do -- Verification, Validation, Test -- Probabilistic Failure Propagation and Transformation Analysis -- Towards Model-Based Automatic Testing of Attack Scenarios -- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting -- Fault Tolerance -- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure -- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel -- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation for Requirements Analysis of Dependable Software -- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control. |
| Record Nr. | UNINA-9910484216803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
| Multiagent System Technologies [[electronic resource] ] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 290 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Computer programming Computer simulation Computer organization Artificial Intelligence Software Engineering Computation by Abstract Devices Programming Techniques Simulation and Modeling Computer Systems Organization and Communication Networks |
| Soggetto genere / forma |
Hamburg (2009)
Kongress. |
| ISBN | 3-642-04143-4 |
| Classificazione |
DAT 709f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Industrial Application of Agent Systems: Lessons Learned and Future Challenges -- Full Papers -- Multi-Agent Navigation Using Path-Based Vector Fields -- Verification of Epistemic Properties in Probabilistic Multi-Agent Systems -- GOAL as a Planning Formalism -- Towards Pattern-Oriented Design of Agent-Based Simulation Models -- Multi Criteria Decision Methods for Coordinating Case-Based Agents -- Agent Cooperation for Monitoring and Diagnosing a MAP -- Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems -- A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents -- Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises -- Embodied Organisations in MAS Environments -- MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks -- Towards Reactive Scheduling for Large-Scale Virtual Power Plants -- Concurrently Decomposable Constraint Systems -- SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit -- Short Papers -- Towards a Verification Framework for Communicating Rational Agents -- Designing Organized Multiagent Systems through MDPs -- A Reference Architecture for Modelling of Emotional Agent Systems -- Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems -- Modeling Tools for Platform Specific Design of Multi-Agent Systems -- L2-SVM Training with Distributed Data -- Framework for Dynamic Life Critical Situations Using Agents -- Unifying JIAC Agent Development with AWE -- Formalizing ARTIS Agent Model Using RT-Maude -- Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments -- Exhibition Papers -- Requirements and Tools for the Debugging of Multi-Agent Systems -- SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems -- An Architecture for Simulating Internet-of-Services Economies -- Applying JIAC V to Real World Problems: The MAMS Case -- Agent-Based Semantic Search at motoso.de. |
| Record Nr. | UNISA-996465336403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent System Technologies : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
| Multiagent System Technologies : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 290 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Computer programming Computer simulation Computer organization Artificial Intelligence Software Engineering Computation by Abstract Devices Programming Techniques Simulation and Modeling Computer Systems Organization and Communication Networks |
| Soggetto genere / forma |
Hamburg (2009)
Kongress. |
| ISBN | 3-642-04143-4 |
| Classificazione |
DAT 709f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Industrial Application of Agent Systems: Lessons Learned and Future Challenges -- Full Papers -- Multi-Agent Navigation Using Path-Based Vector Fields -- Verification of Epistemic Properties in Probabilistic Multi-Agent Systems -- GOAL as a Planning Formalism -- Towards Pattern-Oriented Design of Agent-Based Simulation Models -- Multi Criteria Decision Methods for Coordinating Case-Based Agents -- Agent Cooperation for Monitoring and Diagnosing a MAP -- Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems -- A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents -- Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises -- Embodied Organisations in MAS Environments -- MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks -- Towards Reactive Scheduling for Large-Scale Virtual Power Plants -- Concurrently Decomposable Constraint Systems -- SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit -- Short Papers -- Towards a Verification Framework for Communicating Rational Agents -- Designing Organized Multiagent Systems through MDPs -- A Reference Architecture for Modelling of Emotional Agent Systems -- Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems -- Modeling Tools for Platform Specific Design of Multi-Agent Systems -- L2-SVM Training with Distributed Data -- Framework for Dynamic Life Critical Situations Using Agents -- Unifying JIAC Agent Development with AWE -- Formalizing ARTIS Agent Model Using RT-Maude -- Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments -- Exhibition Papers -- Requirements and Tools for the Debugging of Multi-Agent Systems -- SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems -- An Architecture for Simulating Internet-of-Services Economies -- Applying JIAC V to Real World Problems: The MAMS Case -- Agent-Based Semantic Search at motoso.de. |
| Record Nr. | UNINA-9910485139103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
