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.
Testing Software and Systems [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
| Testing Software and Systems [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 267 p. 76 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39008-5
9786613568007 3-642-16573-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Test Automation with TTCN-3 - State of the Art and a Future Perspective -- A Model-Based Approach to Testing Software for Critical Behavior and Properties -- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study -- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution -- Test Data Generation for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures for Large-Scale Systems -- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction -- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks -- A Learning-Based Approach to Unit Testing of Numerical Software -- From Scenarios to Test Implementations Via Promela -- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. |
| Record Nr. | UNISA-996465706703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
| Testing Software and Systems [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 267 p. 76 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39008-5
9786613568007 3-642-16573-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Test Automation with TTCN-3 - State of the Art and a Future Perspective -- A Model-Based Approach to Testing Software for Critical Behavior and Properties -- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study -- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution -- Test Data Generation for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures for Large-Scale Systems -- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction -- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks -- A Learning-Based Approach to Unit Testing of Numerical Software -- From Scenarios to Test Implementations Via Promela -- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. |
| Record Nr. | UNINA-9910484511303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling / Raj Jain
| The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling / Raj Jain |
| Autore | Jain, Raj |
| Pubbl/distr/stampa | New York : John Wiley & sons, ©1991 |
| Descrizione fisica | xxvii, 685 p. : ill. ; 23 cm |
| Disciplina | 004.24 |
| Collana | Wiley professional computing |
| Soggetto non controllato | Calcolatori elettronici digitali - Valutazione |
| ISBN | 978-0-471-50336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010102260403321 |
Jain, Raj
|
||
| New York : John Wiley & sons, ©1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The art of computer systems performance analysis : techniques for expreimental design, measurement / Raj Jain
| The art of computer systems performance analysis : techniques for expreimental design, measurement / Raj Jain |
| Autore | JAIN, Raj |
| Pubbl/distr/stampa | New York [etc.] : John Wiley & Sons, 1991 |
| Descrizione fisica | XXVII, 685 p. ; 24 cm |
| Disciplina | 004.24 |
| Collana | Wiley Professional Computing |
| Soggetto topico | Elaboratori - Valutazione |
| ISBN | 978-0-471-50336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996233443103316 |
|
JAIN, Raj
|
||
| New York [etc.] : John Wiley & Sons, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling / Raj Jain
| The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling / Raj Jain |
| Autore | Jain, Raj |
| Pubbl/distr/stampa | New York [etc.], : Wiley, c1991 |
| Descrizione fisica | XXVII, 685 p. ; 25 cm. |
| Disciplina |
004.2
004.24 |
| Collana | Wiley professional computing |
| Soggetto topico | Elaboratori - Valutazione |
| ISBN | 0471503363 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0102482 |
|
Jain, Raj
|
||
| New York [etc.], : Wiley, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Tools for High Performance Computing 2013 : Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany / / edited by Andreas Knüpfer, José Gracia, Wolfgang E. Nagel, Michael M. Resch
| Tools for High Performance Computing 2013 : Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany / / edited by Andreas Knüpfer, José Gracia, Wolfgang E. Nagel, Michael M. Resch |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (130 p.) |
| Disciplina |
004
004.24 510 |
| Soggetto topico |
Computer mathematics
Computer system failures Application software Computational Science and Engineering System Performance and Evaluation Computer Applications |
| ISBN | 3-319-08144-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Juan Gonzalez, Judit Gimenez, and Jesus Labarta: Performance Analytics: Understanding Parallel Applications Using Cluster and Sequence Analysis -- Mahesh Lagadapati, Frank Mueller, and Christian Engelmann: Tools for Simulation and Benchmark Generation at Exascale -- Dirk Schmidl, Christian Terboven, Dieter an Mey, and Matthias S. Müller: Suitability of Performance Tools for OpenMP Task-parallel Programs -- Yury Oleynik, Robert Mijaković, Isaías A. Comprés Ure˜na, Michael Firbach, and Michael Gerndt: Recent Advances in Periscope for Performance Analysis and Tuning -- Xingfu Wu, Valerie Taylor, Charles Lively, Hung-Ching Chang, Bo Li, Kirk Cameron, Dan Terpstra, and Shirley Moore: MuMMI: Multiple Metrics Modeling Infrastructure -- Thomas M. Baumann and José Gracia: Cudagrind: Memory-Usage Checking for CUDA -- Trevor E. Carlson, Wim Heirman, Kenzo Van Craeynest, Lieven Eeckhout: Node Performance and Energy Analysis with the Sniper Multi-Core Simulator -- Alvaro Aguilera, Holger Mickler, Julian Kunkel, Michaela Zimmer, Marc Wiedemann, Ralph Müller-Pfefferkorn: A Comparison of Trace Compression Methods for Massively Parallel Applications in Context of the SIOX Project -- Zakaria Bendifallah, William Jalby, José Noudohouenou, Emmanuel Oseret, and Vincent Palomares: PAMDA: Performance Assessment using MAQAO Toolset and Differential Analysis. |
| Record Nr. | UNINA-9910299968903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools for High Performance Computing 2014 : Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany / / edited by Christoph Niethammer, José Gracia, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel
| Tools for High Performance Computing 2014 : Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany / / edited by Christoph Niethammer, José Gracia, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina |
004
004.24 510 |
| Soggetto topico |
Computer mathematics
Computer system failures Application software Computational Science and Engineering System Performance and Evaluation Computer Applications |
| ISBN | 3-319-16012-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ilya Zhukov, Christian Feld, Markus Geimer, Michael Knobloch, Bernd Mohr and Pavel Saviankou: Scalasca v2: Back To The Future -- Christopher January, Jonathan Byrd, Xavier Oró, and Mark O’Connor: Allinea MAP: Adding Energy and OpenMP Profiling Without Increasing Overhead -- Zhen Li, Rohit Atre, Zia Ul-Huda, Ali Jannesari, and Felix Wolf: DiscoPoP: A Profiling Tool to Identify Parallelization Opportunities -- Vladimir Subotic, Arturo Campos, Alejandro Velasco, Eduard Ayguade, Jesus Labarta, and Mateo Valero: Tareador: The Unbearable Lightness of Exploring Parallelism -- Isaías A. Comprés Ureña, and Michael Gerndt: Tuning Plugin Development for the Periscope Tuning Framework -- Thomas Ilsche, Joseph Schuchart, Robert Schöne and Daniel Hackenberg: Combining Instrumentation and Sampling for Trace-based Application Performance Analysis -- Damien Dosimont, Youenn Corre, Lucas Mello Schnorr, Guillaume Huard and Jean-Marc Vincent: Ocelotl: Large Trace Overviews Based on Multidimensional Data Aggregation -- Felix Schmitt, Robert Dietrich and Jonas Stolle: Integrating Critical-Blame Analysis for Heterogeneous Applications into the Score-P Workflow -- Germán Llort, Harald Servat, Juan Gonzalez, Judit Gimenez and Jesús Labarta: Studying Performance Changes with Tracking Analysis -- Martin Schulz, Abhinav Bhatele, David Böhme1, Peer-Timo Bremer, Todd Gamblin, Alfredo Gimenez and Kate Isaacs: A Flexible Data Model to Support Multi-Domain Performance Analysis. |
| Record Nr. | UNINA-9910299771503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topics in Performance Evaluation, Measurement and Characterization [[electronic resource] ] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess
| Topics in Performance Evaluation, Measurement and Characterization [[electronic resource] ] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 213 p. 60 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Software engineering Application software Database management Management information systems Computer science System Performance and Evaluation Software Engineering Computer Appl. in Administrative Data Processing Database Management Management of Computing and Information Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-642-32627-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465747003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trust Management [[electronic resource] ] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings / / edited by Christian Jensen, Stefan Poslad, Theo Dimitrakos
| Trust Management [[electronic resource] ] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings / / edited by Christian Jensen, Stefan Poslad, Theo Dimitrakos |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 382 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Information storage and retrieval Computer communication systems Application software User interfaces (Computer systems) Computers and civilization Software Engineering/Programming and Operating Systems Information Storage and Retrieval Computer Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN |
1-280-30717-X
9786610307173 3-540-24747-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment -- KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services -- W5: The Five W’s of the World Wide Web -- Full Papers -- A Case for Evidence-Aware Distributed Reputation Systems -- Enhanced Reputation Mechanism for Mobile Ad Hoc Networks -- Pinocchio: Incentives for Honest Participation in Distributed Trust Management -- History-Based Signature or How to Trust Anonymous Documents -- Trading Privacy for Trust -- Supporting Privacy in Decentralized Additive Reputation Systems -- Engineering Trust Based Collaborations in a Global Computing Environment -- Analysing the Relationship between Risk and Trust -- Using Risk Analysis to Assess User Trust -- E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities -- Requirements Engineering Meets Trust Management -- Towards Dynamic Security Perimeters for Virtual Collaborative Networks -- Human Experiments in Trust Dynamics -- Using Trust in Recommender Systems: An Experimental Analysis -- Modeling Controls for Dynamic Value Exchanges in Virtual Organizations -- Analyzing Correlation between Trust and User Similarity in Online Communities -- Trust Development and Management in Virtual Communities -- Managing Internet-Mediated Community Trust Relations -- Reasoning About Trust: A Formal Logical Framework -- Trust Mediation in Knowledge Management and Sharing -- Enhanced Accountability for Electronic Processes -- Short Papers and Experience Reports -- The Use of Formal Methods in the Analysis of Trust (Position Paper) -- Computing Recommendations to Trust -- Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements -- Towards Trust Relationship Planning for Virtual Organizations -- Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision -- Deploying Trust Policies on the Semantic Web. |
| Record Nr. | UNISA-996465566703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trust Management : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings / / edited by Christian Jensen, Stefan Poslad, Theo Dimitrakos
| Trust Management : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings / / edited by Christian Jensen, Stefan Poslad, Theo Dimitrakos |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 382 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Information storage and retrieval Computer communication systems Application software User interfaces (Computer systems) Computers and civilization Software Engineering/Programming and Operating Systems Information Storage and Retrieval Computer Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN |
1-280-30717-X
9786610307173 3-540-24747-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment -- KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services -- W5: The Five W’s of the World Wide Web -- Full Papers -- A Case for Evidence-Aware Distributed Reputation Systems -- Enhanced Reputation Mechanism for Mobile Ad Hoc Networks -- Pinocchio: Incentives for Honest Participation in Distributed Trust Management -- History-Based Signature or How to Trust Anonymous Documents -- Trading Privacy for Trust -- Supporting Privacy in Decentralized Additive Reputation Systems -- Engineering Trust Based Collaborations in a Global Computing Environment -- Analysing the Relationship between Risk and Trust -- Using Risk Analysis to Assess User Trust -- E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities -- Requirements Engineering Meets Trust Management -- Towards Dynamic Security Perimeters for Virtual Collaborative Networks -- Human Experiments in Trust Dynamics -- Using Trust in Recommender Systems: An Experimental Analysis -- Modeling Controls for Dynamic Value Exchanges in Virtual Organizations -- Analyzing Correlation between Trust and User Similarity in Online Communities -- Trust Development and Management in Virtual Communities -- Managing Internet-Mediated Community Trust Relations -- Reasoning About Trust: A Formal Logical Framework -- Trust Mediation in Knowledge Management and Sharing -- Enhanced Accountability for Electronic Processes -- Short Papers and Experience Reports -- The Use of Formal Methods in the Analysis of Trust (Position Paper) -- Computing Recommendations to Trust -- Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements -- Towards Trust Relationship Planning for Virtual Organizations -- Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision -- Deploying Trust Policies on the Semantic Web. |
| Record Nr. | UNINA-9910768462303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
