top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
Pubbl/distr/stampa Los Alamitos : , : IEEE Computer Society, , 2021
Descrizione fisica 1 online resource (xvii, 185 pages) : illustrations (some color)
Disciplina 005.12
Soggetto topico Software architecture
ISBN 1-7281-6260-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti 2021 IEEE 18th International Conference on Software Architecture
Record Nr. UNINA-9910554005803321
Los Alamitos : , : IEEE Computer Society, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
Pubbl/distr/stampa Los Alamitos : , : IEEE Computer Society, , 2021
Descrizione fisica 1 online resource (xvii, 185 pages) : illustrations (some color)
Disciplina 005.12
Soggetto topico Software architecture
ISBN 1-7281-6260-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti 2021 IEEE 18th International Conference on Software Architecture
Record Nr. UNISA-996574802703316
Los Alamitos : , : IEEE Computer Society, , 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
42010-2022 - IEEE/ISO/IEC International Standard for Software, systems and enterprise : Architecture description / / IEEE
42010-2022 - IEEE/ISO/IEC International Standard for Software, systems and enterprise : Architecture description / / IEEE
Pubbl/distr/stampa New York : , : IEEE, , 2022
Descrizione fisica 1 online resource (74 pages)
Disciplina 005.12
Soggetto topico Software architecture
Software engineering - Standards
ISBN 1-5044-9155-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996575142803316
New York : , : IEEE, , 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 384 p.)
Disciplina 005.12
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer science
Machine theory
Compilers (Computer programs)
Database management
Software Engineering
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Compilers and Interpreters
Database Management
ISBN 3-540-87603-0
Classificazione 54.10
DAT 550f
SS 4800
004
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop.
Record Nr. UNISA-996465278603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 384 p.)
Disciplina 005.12
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer science
Machine theory
Compilers (Computer programs)
Database management
Software Engineering
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Compilers and Interpreters
Database Management
ISBN 3-540-87603-0
Classificazione 54.10
DAT 550f
SS 4800
004
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop.
Record Nr. UNINA-9910483369103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Information Systems Engineering [[electronic resource] ] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard
Advanced Information Systems Engineering [[electronic resource] ] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XVII, 588 p.)
Disciplina 005.12
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Software engineering
Data mining
Computer engineering
Database management
Application software
User interfaces (Computer systems)
Software Engineering/Programming and Operating Systems
Data Mining and Knowledge Discovery
Computer Engineering
Database Management
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
ISBN 3-540-69534-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?.
Record Nr. UNISA-996465870003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advanced information systems engineering : 20th international conference, CAISE 2008, Montpellier, France, June 16-20, 2008 : proceedings / / Zohra Bellahsene, Michel Leonard (eds.)
Advanced information systems engineering : 20th international conference, CAISE 2008, Montpellier, France, June 16-20, 2008 : proceedings / / Zohra Bellahsene, Michel Leonard (eds.)
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, : Springer, 2008
Descrizione fisica 1 online resource (XVII, 588 p.)
Disciplina 005.12
Altri autori (Persone) BellahseneZohra
LeonardMichel
Collana Lecture notes in computer science
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
Soggetto topico Computer-aided software engineering
Systems engineering
ISBN 3-540-69534-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?.
Altri titoli varianti CAISE 2008
Record Nr. UNINA-9910483671503321
Berlin, : Springer, 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Microservices : A Hands-on Approach to Microservice Infrastructure and Tooling / / by Thomas Hunter II
Advanced Microservices : A Hands-on Approach to Microservice Infrastructure and Tooling / / by Thomas Hunter II
Autore Hunter II Thomas
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017
Descrizione fisica 1 online resource (XVIII, 181 p. 29 illus., 26 illus. in color.)
Disciplina 005.12
Soggetto topico Open source software
Open Source
ISBN 9781484228876
1484228871
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction.- 2. HTTP API Design -- 3. Deployments -- 4. Service Discovery -- 5. Data Flow -- 6. Consumers -- 7. Monitoring -- 8. Documentation -- 9. Collaboration.
Record Nr. UNINA-9910254852803321
Hunter II Thomas  
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Computers . Volume 98
Advances in Computers . Volume 98
Autore Hurson A. R
Edizione [First edition.]
Pubbl/distr/stampa Amsterdam, Netherlands : , : Elsevier, , 2015
Descrizione fisica 1 online resource (247 p.)
Disciplina 005.12
Soggetto topico Computers
Graphical user interfaces (Computer systems)
System analysis
ISBN 9780128023402
0128023406
9780128021323
0128021322
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter One: An Overview of Architecture-Level Power- and Energy-Efficient Design Techniques; 1. Introduction; 2. Metrics of Interest; 2.1. Circuit-Level Metrics; 2.1.1. Basic Metrics; 2.1.2. Derived Metrics; 2.2. Architectural-Level Metrics; 3. Classification of Selected Architecture-Level Techniques; 3.1. Criteria; 3.2. List of Selected Examples; 3.3. Postclassification Conclusion; 4. Presentation of Selected Architecture-Level Techniques; 4.1. Core; 4.1.1. Dynamic; DVFS; OS Level; Compiler Analysis-Based DVFS
Power Phase Analysis-Based DVFSDVFS for Multiple Clock Domain Processors; Dynamic Work Steering; Optimizing Issue Width; 4.1.2. Static and Dynamic; Combined ABB and DVFS; 4.2. Core-Pipeline; 4.2.1. Dynamic; Clock Gating; Deterministic Clock Gating; Improving Energy Efficiency of Speculative Execution; Significance Compression; Work Reuse; Instruction-Level Reuse; Basic Block-Level Reuse; Trace-Level Reuse; Region Reuse; 4.3. Core-Front-End; 4.3.1. Dynamic; Exploiting Narrow-Width Operands; Instruction Queue Resizing; Loop Cache; Trace Cache; 4.3.2. Static; Idle Register File DVS
Register File Access Optimization4.4. Core-Back-End; 4.4.1. Dynamic; Exploiting Narrow-Width Operands; Integers; Floating Point; Work Reuse; 4.4.2. Static; Power Gating; Vt-Based Technique; 4.5. Conclusion About the Existing Solutions; 5. Future Trend; 6. Conclusion; References; Chapter Two: A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems; 1. Introduction; 2. Sources of Corrupted Data; 3. Sensor Networks: Application for Comparison; 3.1. Sensor Network Database Requirements; 3.2. Sensor Network Architectures; 3.2.1. Centralized; 3.2.2. Distributed
3.3. Sensor Network Data Propagation4. Detection of Corrupted Data; 4.1. Statistical Detection; 4.1.1. Types of Data Anomalies; 4.1.2. Statistical Detection Approaches; 4.2. Behavioral Approaches; 5. Mitigation of Data Corruption; 6. Propagation of Corrupted Data; 6.1. Propagation from Execution; 6.2. Corrupted Data in a Sensor Node; 7. Conclusion and Future Direction; References; Chapter Three: A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs; 1. Introduction; 2. The Generic Model-based Testing Approach; 3. Proposed Taxonomy Dimensions
3.1. The Modeling Notation3.2. The Test Artifact; 3.3. Test Selection Criteria; 3.4. The Test Generation Method; 3.5. The Technology; 3.6. The Mapping; 4. A Research Review of Model-based Testing Tools; 4.1. Selection Criteria and Procedures for Including/Excluding Model-based Testing Tools; 4.2. Our Taxonomy; 5. Running Example: The Coffee/Tea Vending Machine; 6. Model-based Testing Tools for Pre/Post Notations; 6.1. The Z Language; 6.2. The B-Method; 6.3. Spec#; 6.4. AsmL; 6.5. The Coffee/Tea Vending Machine in ProTest; 7. Model-based Testing Tools for Transition-based Notations
7.1. Finite State Machines
Altri titoli varianti Advances in computers.
Record Nr. UNINA-9911006713003321
Hurson A. R  
Amsterdam, Netherlands : , : Elsevier, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in self-organizing maps : 7th International workshop, WSOM 2009 : St. Augustine, FL, USA, june 8-10, 2009 : proceedings / José C. Prìncipe ...[et al.] (Eds.)
Advances in self-organizing maps : 7th International workshop, WSOM 2009 : St. Augustine, FL, USA, june 8-10, 2009 : proceedings / José C. Prìncipe ...[et al.] (Eds.)
Autore International workshop, WSOM : <7.; : 2009
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2009
Descrizione fisica X, 371 p. : ill. ; 24 cm
Disciplina 005.12
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - St. Augustine - 2009
ISBN 978-3-642-02396-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003324940203316
International workshop, WSOM : <7.; : 2009  
Berlin [etc.] : Springer, copyr. 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui