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 | ||
| ||
Formal Methods for Model-Driven Engineering [[electronic resource] ] : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
| Formal Methods for Model-Driven Engineering [[electronic resource] ] : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 439 p. 158 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Programming languages (Electronic computers) Application software Management information systems Computer science Software Engineering Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN | 3-642-30982-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465298303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 376 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Information technology—Management Computers, Special purpose Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Special Purpose and Application-Based Systems |
| ISBN | 3-642-37057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due to Uncertainty Change -- A Model-Based Synthesis Process for Choreography Realizability Enforcement -- On Extracting Feature Models from Sets of Valid Feature Combinations -- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets -- Quality of Merge-Refactorings for Product Lines -- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching Conditions from Business Process Execution Logs -- Exposing Behavioral Differences in Cross-Language API Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks -- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario Realizability with Constraint Optimization -- Andromeda: Accurate and Scalable Security Analysis of Web Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for JavaScript -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications -- A Mechanized Model for CAN Protocols -- Enforcing QVT-R with mu-Calculus and Games -- Implementing QVT-R Bidirectional Model Transformations Using Alloy -- Abstraction and Training of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications -- Testing with Inputs and Outputs in CSP. |
| Record Nr. | UNISA-996465684603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró
| Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 376 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Information technology—Management Computers, Special purpose Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Special Purpose and Application-Based Systems |
| ISBN | 3-642-37057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due to Uncertainty Change -- A Model-Based Synthesis Process for Choreography Realizability Enforcement -- On Extracting Feature Models from Sets of Valid Feature Combinations -- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets -- Quality of Merge-Refactorings for Product Lines -- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching Conditions from Business Process Execution Logs -- Exposing Behavioral Differences in Cross-Language API Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks -- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario Realizability with Constraint Optimization -- Andromeda: Accurate and Scalable Security Analysis of Web Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for JavaScript -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications -- A Mechanized Model for CAN Protocols -- Enforcing QVT-R with mu-Calculus and Games -- Implementing QVT-R Bidirectional Model Transformations Using Alloy -- Abstraction and Training of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications -- Testing with Inputs and Outputs in CSP. |
| Record Nr. | UNINA-9910741162903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the WOSP '07 : sixth International Workshop on Software and Performance : February 5-8, 2007, Buenos Aires, Argentina
| Proceedings of the WOSP '07 : sixth International Workshop on Software and Performance : February 5-8, 2007, Buenos Aires, Argentina |
| Autore | Majumdar Shikharesh |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (210 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the Workshop on Software and Performance '07
Proceedings of the 6th International Workshop on Software and Performance WOSP '07 Workshop on Software and Performance, Buenos Aires, Argentina - February 05 - 08, 2007 |
| Record Nr. | UNINA-9910376490403321 |
Majumdar Shikharesh
|
||
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SEAA 2012 : 38th Euromicro Conference on Software Engineering and Advanced Applications : 5-8 September 2012, Cesme, Izmir, Turkey / / edited by Vittorio Cortellessa, Henry Muccini, Onur Demirors ; sponsored by Scientific and Technological Research Council of Turkey [and three others]
| SEAA 2012 : 38th Euromicro Conference on Software Engineering and Advanced Applications : 5-8 September 2012, Cesme, Izmir, Turkey / / edited by Vittorio Cortellessa, Henry Muccini, Onur Demirors ; sponsored by Scientific and Technological Research Council of Turkey [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2012 |
| Descrizione fisica | 1 online resource (xxvii, 464 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Application software - Development |
| ISBN | 0-7695-4790-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207509303316 |
| Los Alamitos, California : , : IEEE Computer Society, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SEAA 2012 : 38th Euromicro Conference on Software Engineering and Advanced Applications : 5-8 September 2012, Cesme, Izmir, Turkey / / edited by Vittorio Cortellessa, Henry Muccini, Onur Demirors ; sponsored by Scientific and Technological Research Council of Turkey [and three others]
| SEAA 2012 : 38th Euromicro Conference on Software Engineering and Advanced Applications : 5-8 September 2012, Cesme, Izmir, Turkey / / edited by Vittorio Cortellessa, Henry Muccini, Onur Demirors ; sponsored by Scientific and Technological Research Council of Turkey [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2012 |
| Descrizione fisica | 1 online resource (xxvii, 464 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Application software - Development |
| ISBN | 0-7695-4790-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910130695903321 |
| Los Alamitos, California : , : IEEE Computer Society, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
VALUETOOLS 2013 : 7th International Conference on Performance Evaluation Methodologies and Tools : December 10-12, 2013, Torino, Italy
| VALUETOOLS 2013 : 7th International Conference on Performance Evaluation Methodologies and Tools : December 10-12, 2013, Torino, Italy |
| Autore | Buchholz Peter |
| Pubbl/distr/stampa | [Place of publication not identified], : ICST, 2013 |
| Descrizione fisica | 1 online resource (336 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-936968-48-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools
ValueTools '13 7th International Conference on Performance Evaluation Methodologies and Tools, Torino, Italy - December 10 - 12, 2013 |
| Record Nr. | UNINA-9910376383203321 |
|
Buchholz Peter
|
||
| [Place of publication not identified], : ICST, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||