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 Performance Engineering [[electronic resource] ] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings / / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
| Computer Performance Engineering [[electronic resource] ] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings / / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 286 p. 100 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer logic Application software Computer programming Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Logics and Meanings of Programs Information Systems Applications (incl. Internet) Programming Techniques |
| ISBN |
1-280-38906-0
9786613566980 3-642-15784-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems -- Application of Advanced Model-Driven Techniques in Performance Engineering -- Network and Software Performance -- A New Markov-Based Mobility Prediction Algorithm for Mobile Networks -- Performance Aware Reconfiguration of Software Systems -- On the Energy-Performance Tradeoff for Parallel Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking -- Continuous Time and/or Continuous Distributions -- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model for Fire Propagation in Outdoor Environments -- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs -- Performance Modeling and Analysis of the Universal Control Hub -- Model Solutions and Bounds -- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing -- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces -- State-Dependent Rates and Semi-Product-Form via the Reversed Process -- Compositional Analysis -- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems -- A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes -- Compositional Abstraction of PEPA Models for Transient Analysis -- Composing Systems While Preserving Probabilities. |
| Record Nr. | UNISA-996465937403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / / Alessandro Aldini, Marco Bernardo, Luciano Bononi (eds.)
| Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / / Alessandro Aldini, Marco Bernardo, Luciano Bononi (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 286 p. 100 illus.) |
| Disciplina | 004.01/51 |
| Altri autori (Persone) |
AldiniAlessandro
BernardoMarco BononiLuciano |
| Collana |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science |
| Soggetto topico |
Computer systems - Evaluation
Formal methods (Computer science) Stochastic models |
| ISBN |
1-280-38906-0
9786613566980 3-642-15784-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems -- Application of Advanced Model-Driven Techniques in Performance Engineering -- Network and Software Performance -- A New Markov-Based Mobility Prediction Algorithm for Mobile Networks -- Performance Aware Reconfiguration of Software Systems -- On the Energy-Performance Tradeoff for Parallel Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking -- Continuous Time and/or Continuous Distributions -- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model for Fire Propagation in Outdoor Environments -- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs -- Performance Modeling and Analysis of the Universal Control Hub -- Model Solutions and Bounds -- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing -- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces -- State-Dependent Rates and Semi-Product-Form via the Reversed Process -- Compositional Analysis -- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems -- A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes -- Compositional Abstraction of PEPA Models for Transient Analysis -- Composing Systems While Preserving Probabilities. |
| Record Nr. | UNINA-9910484492803321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data Privacy Management and Security Assurance [[electronic resource] ] : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / / edited by Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management and Security Assurance [[electronic resource] ] : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / / edited by Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 247 p. 74 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Application software Algorithms Systems and Data Security Management of Computing and Information Systems Cryptology Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-47072-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Management of privacy-sensitive informations -- Translation of high-level business goals into system-level privacy policies -- Administration of sensitive identifiers -- Data integration and privacy engineering.-Service oriented architectures -- Aspects of dependability, privacy, risk and trust. . |
| Record Nr. | UNISA-996465392203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data Privacy Management and Security Assurance : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / / edited by Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management and Security Assurance : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / / edited by Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 247 p. 74 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Application software Algorithms Systems and Data Security Management of Computing and Information Systems Cryptology Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-47072-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Management of privacy-sensitive informations -- Translation of high-level business goals into system-level privacy policies -- Administration of sensitive identifiers -- Data integration and privacy engineering.-Service oriented architectures -- Aspects of dependability, privacy, risk and trust. . |
| Record Nr. | UNINA-9910484179603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data Privacy Management, and Security Assurance [[electronic resource] ] : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management, and Security Assurance [[electronic resource] ] : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XV, 291 p. 68 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Application software Systems and Data Security Management of Computing and Information Systems Cryptology Information Systems Applications (incl. Internet) |
| ISBN | 3-319-29883-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Aspects of Security Assurance -- Reputation, Monetization and Data Privacy Management -- Biometrics and Privacy Preservation -- Position Papers -- Short Papers. |
| Record Nr. | UNISA-996466356203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data Privacy Management, and Security Assurance : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management, and Security Assurance : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XV, 291 p. 68 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Application software Systems and Data Security Management of Computing and Information Systems Cryptology Information Systems Applications (incl. Internet) |
| ISBN | 3-319-29883-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Aspects of Security Assurance -- Reputation, Monetization and Data Privacy Management -- Biometrics and Privacy Preservation -- Position Papers -- Short Papers. |
| Record Nr. | UNINA-9910483656603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance [[electronic resource] ] : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance [[electronic resource] ] : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 343 p. 60 illus.) |
| Disciplina | 004 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Systems and Data Security Management of Computing and Information Systems Cryptology |
| ISBN | 3-319-17016-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data privacy management -- Autonomous and spontaneous security -- Quantitative aspects in security assurance. |
| Record Nr. | UNISA-996200343503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
| Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 343 p. 60 illus.) |
| Disciplina | 004 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data protection
Electronic data processing - Management Cryptography Data encryption (Computer science) Data and Information Security IT Operations Cryptology |
| ISBN | 3-319-17016-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data privacy management -- Autonomous and spontaneous security -- Quantitative aspects in security assurance. |
| Record Nr. | UNINA-9910483321003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Quantitative Aspects of Programming Languages [[electronic resource] ] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Quantitative Aspects of Programming Languages [[electronic resource] ] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VII, 169 p. 31 illus.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Immunology Antibodies Mathematical logic Programming languages (Electronic computers) Software Engineering Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-38722-X
9786613565143 3-642-13678-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff. |
| Record Nr. | UNISA-996465848603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / / Alessandro Aldini ... [et al.], (eds.)
| Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / / Alessandro Aldini ... [et al.], (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2010 |
| Descrizione fisica | 1 online resource (VII, 169 p. 31 illus.) |
| Disciplina | 005.131 |
| Altri autori (Persone) | AldiniAlessandro |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer systems
Telecommunication systems Computer software |
| ISBN |
1-280-38722-X
9786613565143 3-642-13678-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff. |
| Record Nr. | UNINA-9910484355203321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
