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.
Formal Methods for Eternal Networked Software Systems [[electronic resource] ] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures / / edited by Marco Bernardo, Valerie Issarny
| Formal Methods for Eternal Networked Software Systems [[electronic resource] ] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures / / edited by Marco Bernardo, Valerie Issarny |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 527 p. 180 illus., 46 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Programming languages (Electronic computers) Application software Software Engineering Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) |
| ISBN | 3-642-21455-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465423203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Internet of Things – ICIOT 2019 [[electronic resource] ] : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by Valerie Issarny, Balaji Palanisamy, Liang-Jie Zhang
| Internet of Things – ICIOT 2019 [[electronic resource] ] : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by Valerie Issarny, Balaji Palanisamy, Liang-Jie Zhang |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 141 p. 120 illus., 68 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer organization
Application software User interfaces (Computer systems) Coding theory Information theory Software engineering Computer Systems Organization and Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-23357-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Underground Environment Aware MIMO Design Using Transmit and Receive Beamforming in Internet of Underground Things -- Evaluation of Heterogeneous Scheduling Algorithms for Wavefront and Tile Parallelism in Video Coding -- A Method to Secure IoT Devices Against Botnet Attacks -- Clearer than Mud: Extending Manufacturer Usage Description (MUD) for Securing IoT Systems -- A WS-Agreement Based SLA Ontology for IoT Services -- IoT for Fault Detection in Thailand -- IoT-Based Monitoring and Control Systems for Window Energy Management: Design and Implementation -- Online Conditions Monitoring of End-Mill Based on Sensor Integrated Smart Holder -- Context-Aware Continuous Authentication and Dynamic Device Pairing for Enterprise IoT -- Smart IoT In-Car Life Detector System to Prevent Car Deaths -- Cloud-Based IoT Smart Parking System for Minimum Parking Delays on Campus. |
| Record Nr. | UNISA-996466316603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Internet of Things – ICIOT 2019 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by Valerie Issarny, Balaji Palanisamy, Liang-Jie Zhang
| Internet of Things – ICIOT 2019 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by Valerie Issarny, Balaji Palanisamy, Liang-Jie Zhang |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 141 p. 120 illus., 68 illus. in color.) |
| Disciplina |
004
004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer organization
Application software User interfaces (Computer systems) Coding theory Information theory Software engineering Computer Systems Organization and Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-23357-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Underground Environment Aware MIMO Design Using Transmit and Receive Beamforming in Internet of Underground Things -- Evaluation of Heterogeneous Scheduling Algorithms for Wavefront and Tile Parallelism in Video Coding -- A Method to Secure IoT Devices Against Botnet Attacks -- Clearer than Mud: Extending Manufacturer Usage Description (MUD) for Securing IoT Systems -- A WS-Agreement Based SLA Ontology for IoT Services -- IoT for Fault Detection in Thailand -- IoT-Based Monitoring and Control Systems for Window Energy Management: Design and Implementation -- Online Conditions Monitoring of End-Mill Based on Sensor Integrated Smart Holder -- Context-Aware Continuous Authentication and Dynamic Device Pairing for Enterprise IoT -- Smart IoT In-Car Life Detector System to Prevent Car Deaths -- Cloud-Based IoT Smart Parking System for Minimum Parking Delays on Campus. |
| Record Nr. | UNINA-9910337849703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trust Management [[electronic resource] ] : Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings / / edited by Peter Herrmann, Valerie Issarny, Simon Shiu
| Trust Management [[electronic resource] ] : Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings / / edited by Peter Herrmann, Valerie Issarny, Simon Shiu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 428 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Computers and civilization Management information systems Computer science Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Computers and Society Management of Computing and Information Systems |
| ISBN | 9783540320401 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Third International Conference on Trust Management -- Foraging for Trust: Exploring Rationality and the Stag Hunt Game -- Trust, Untrust, Distrust and Mistrust – An Exploration of the Dark(er) Side -- Security and Trust in the Italian Legal Digital Signature Framework -- Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language -- On Deciding to Trust -- Trust Management Survey -- Can We Manage Trust? -- Operational Models for Reputation Servers -- A Representation Model of Trust Relationships with Delegation Extensions -- Affect and Trust -- Reinventing Forgiveness: A Formal Investigation of Moral Facilitation -- Modeling Social and Individual Trust in Requirements Engineering Methodologies -- Towards a Generic Trust Model – Comparison of Various Trust Update Algorithms -- A Probabilistic Trust Model for Handling Inaccurate Reputation Sources -- Trust as a Key to Improving Recommendation Systems -- Alleviating the Sparsity Problem of Collaborative Filtering Using Trust Inferences -- Experience-Based Trust: Enabling Effective Resource Selection in a Grid Environment -- Interactive Credential Negotiation for Stateful Business Processes -- An Evidence Based Architecture for Efficient, Attack-Resistant Computational Trust Dissemination in Peer-to-Peer Networks -- Towards an Evaluation Methodology for Computational Trust Systems -- Trusted Computing: Strengths, Weaknesses and Further Opportunities for Enhancing Privacy -- Trust Transfer: Encouraging Self-recommendations Without Sybil Attack -- Privacy-Preserving Search and Updates for Outsourced Tree-Structured Data on Untrusted Servers -- Persistent and Dynamic Trust: Analysis and the Related Impact of Trusted Platforms -- Risk Models for Trust-Based Access Control(TBAC) -- Combining Trust and Risk to Reduce the Cost of Attacks -- IWTrust: Improving User Trust in Answers from the Web -- Trust Record: High-Level Assurance and Compliance -- Implementation of the SECURE Trust Engine -- The CORAS Tool for Security Risk Analysis -- Towards a Grid Platform Enabling Dynamic Virtual Organisations for Business Applications -- Multimedia Copyright Protection Platform Demonstrator -- ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements -- The VoteSecureTM Secure Internet Voting System. |
| Record Nr. | UNISA-996465717303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings / / Peter Herrmann, Valerie Issarny, Simon Shiu (eds.)
| Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings / / Peter Herrmann, Valerie Issarny, Simon Shiu (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XII, 428 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
HerrmannPeter
IssarnyValerie ShiuSimon |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer systems - Reliability
Trust - Management |
| ISBN | 9783540320401 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Third International Conference on Trust Management -- Foraging for Trust: Exploring Rationality and the Stag Hunt Game -- Trust, Untrust, Distrust and Mistrust – An Exploration of the Dark(er) Side -- Security and Trust in the Italian Legal Digital Signature Framework -- Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language -- On Deciding to Trust -- Trust Management Survey -- Can We Manage Trust? -- Operational Models for Reputation Servers -- A Representation Model of Trust Relationships with Delegation Extensions -- Affect and Trust -- Reinventing Forgiveness: A Formal Investigation of Moral Facilitation -- Modeling Social and Individual Trust in Requirements Engineering Methodologies -- Towards a Generic Trust Model – Comparison of Various Trust Update Algorithms -- A Probabilistic Trust Model for Handling Inaccurate Reputation Sources -- Trust as a Key to Improving Recommendation Systems -- Alleviating the Sparsity Problem of Collaborative Filtering Using Trust Inferences -- Experience-Based Trust: Enabling Effective Resource Selection in a Grid Environment -- Interactive Credential Negotiation for Stateful Business Processes -- An Evidence Based Architecture for Efficient, Attack-Resistant Computational Trust Dissemination in Peer-to-Peer Networks -- Towards an Evaluation Methodology for Computational Trust Systems -- Trusted Computing: Strengths, Weaknesses and Further Opportunities for Enhancing Privacy -- Trust Transfer: Encouraging Self-recommendations Without Sybil Attack -- Privacy-Preserving Search and Updates for Outsourced Tree-Structured Data on Untrusted Servers -- Persistent and Dynamic Trust: Analysis and the Related Impact of Trusted Platforms -- Risk Models for Trust-Based Access Control(TBAC) -- Combining Trust and Risk to Reduce the Cost of Attacks -- IWTrust: Improving User Trust in Answers from the Web -- Trust Record: High-Level Assurance and Compliance -- Implementation of the SECURE Trust Engine -- The CORAS Tool for Security Risk Analysis -- Towards a Grid Platform Enabling Dynamic Virtual Organisations for Business Applications -- Multimedia Copyright Protection Platform Demonstrator -- ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements -- The VoteSecureTM Secure Internet Voting System. |
| Altri titoli varianti | iTrust 2005 |
| Record Nr. | UNINA-9910483188203321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||