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)
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Aniko Ekart, Anna I. Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Aniko Ekart, Anna I. Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XXX, 831 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer programming
Computer networks
Computer science
Computers
Computer science—Mathematics
Programming Techniques
Computer Communication Networks
Theory of Computation
Computer Hardware
Mathematical Applications in Computer Science
ISBN 3-642-01129-2
Classificazione DAT 510f
DAT 530f
DAT 718f
MAT 919f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto EvoCOMNET Contributions -- EvoENVIRONMENT Contributions -- EvoFIN Contributions -- EvoGAMES Contributions -- EvoHOT Contributions -- EvoIASP Contributions -- EvoINTERACTION Contributions -- EvoMUSART Contributions -- EvoNUM Contributions -- EvoSTOC Contributions -- EvoTRANSLOG Contributions.
Record Nr. UNISA-996466021203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Aniko Ekart, Anna I. Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Aniko Ekart, Anna I. Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XXX, 831 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer programming
Computer networks
Computer science
Computers
Computer science—Mathematics
Programming Techniques
Computer Communication Networks
Theory of Computation
Computer Hardware
Mathematical Applications in Computer Science
ISBN 3-642-01129-2
Classificazione DAT 510f
DAT 530f
DAT 718f
MAT 919f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto EvoCOMNET Contributions -- EvoENVIRONMENT Contributions -- EvoFIN Contributions -- EvoGAMES Contributions -- EvoHOT Contributions -- EvoIASP Contributions -- EvoINTERACTION Contributions -- EvoMUSART Contributions -- EvoNUM Contributions -- EvoSTOC Contributions -- EvoTRANSLOG Contributions.
Record Nr. UNINA-9910483868403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams
FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XVII, 820 p.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
User interfaces (Computer systems)
Computer logic
Programming languages (Electronic computers)
Computer programming
Software Engineering
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Soggetto genere / forma Eindhoven (2009)
Kongress.
ISBN 3-642-05089-1
Classificazione DAT 310f
DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology? -- Guess and Verify – Back to the Future -- Verification, Testing and Statistics -- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions for Parameterized Systems -- Abstract Model Checking without Computing the Abstraction -- Three-Valued Spotlight Abstractions -- Fair Model Checking with Process Counter Abstraction -- Compositionality -- Systematic Development of Trustworthy Component Systems -- Partial Order Reductions Using Compositional Confluence Detection -- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition -- Verification -- Abstract Specification of the UBIFS File System for Flash Memory -- Inferring Mealy Machines -- Formal Management of CAD/CAM Processes -- Concurrency -- Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study -- Refinement -- Sums and Lovers: Case Studies in Security, Compositionality and Refinement -- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing -- Model Checking Linearizability via Refinement -- Static Analysis -- It’s Doomed; We Can Prove It -- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making Temporal Logic Calculational: A Tool for Unification and Discovery -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning about Expectation Properties for Continuous Random Variables -- Semantics -- The Denotational Semantics of slotted-Circus -- Unifying Probability with Nondeterminism -- Towards an Operational Semantics for Alloy -- A Robust Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks -- Formal Verification of Avionics Software Products -- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study -- Object-Orientation -- Connecting UML and VDM++ with Open Tool Support -- Language and Tool Support for Class and State Machine Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects -- Abstract Object Creation in Dynamic Logic -- Pointers -- Reasoning about Memory Layouts -- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis -- Real-Time -- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery -- Verifying Real-Time Systems against Scenario-Based Requirements -- Special Track: Tools and Industrial Applications II -- Formal Specification of a Cardiac Pacing System -- Automated Property Verification for Large Scale B Models -- Reduced Execution Semantics of MPI: From Theory to Practice -- Model Checking II -- A Metric Encoding for Bounded Model Checking -- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method -- Verifying Information Flow Control over Unbounded Processes -- Specification and Verification of Web Applications in Rewriting Logic -- Industry-Day Abstracts -- Verifying the Microsoft Hyper-V Hypervisor with VCC -- Industrial Practice in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal  at Novo Nordisk.
Record Nr. UNINA-9910483872003321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams
FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XVII, 820 p.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
User interfaces (Computer systems)
Computer logic
Programming languages (Electronic computers)
Computer programming
Software Engineering
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Soggetto genere / forma Eindhoven (2009)
Kongress.
ISBN 3-642-05089-1
Classificazione DAT 310f
DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology? -- Guess and Verify – Back to the Future -- Verification, Testing and Statistics -- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions for Parameterized Systems -- Abstract Model Checking without Computing the Abstraction -- Three-Valued Spotlight Abstractions -- Fair Model Checking with Process Counter Abstraction -- Compositionality -- Systematic Development of Trustworthy Component Systems -- Partial Order Reductions Using Compositional Confluence Detection -- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition -- Verification -- Abstract Specification of the UBIFS File System for Flash Memory -- Inferring Mealy Machines -- Formal Management of CAD/CAM Processes -- Concurrency -- Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study -- Refinement -- Sums and Lovers: Case Studies in Security, Compositionality and Refinement -- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing -- Model Checking Linearizability via Refinement -- Static Analysis -- It’s Doomed; We Can Prove It -- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making Temporal Logic Calculational: A Tool for Unification and Discovery -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning about Expectation Properties for Continuous Random Variables -- Semantics -- The Denotational Semantics of slotted-Circus -- Unifying Probability with Nondeterminism -- Towards an Operational Semantics for Alloy -- A Robust Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks -- Formal Verification of Avionics Software Products -- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study -- Object-Orientation -- Connecting UML and VDM++ with Open Tool Support -- Language and Tool Support for Class and State Machine Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects -- Abstract Object Creation in Dynamic Logic -- Pointers -- Reasoning about Memory Layouts -- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis -- Real-Time -- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery -- Verifying Real-Time Systems against Scenario-Based Requirements -- Special Track: Tools and Industrial Applications II -- Formal Specification of a Cardiac Pacing System -- Automated Property Verification for Large Scale B Models -- Reduced Execution Semantics of MPI: From Theory to Practice -- Model Checking II -- A Metric Encoding for Bounded Model Checking -- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method -- Verifying Information Flow Control over Unbounded Processes -- Specification and Verification of Web Applications in Rewriting Logic -- Industry-Day Abstracts -- Verifying the Microsoft Hyper-V Hypervisor with VCC -- Industrial Practice in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal  at Novo Nordisk.
Record Nr. UNISA-996466367603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods and Software Engineering [[electronic resource] ] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / / edited by Karin Breitman, Ana Cavalcanti
Formal Methods and Software Engineering [[electronic resource] ] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / / edited by Karin Breitman, Ana Cavalcanti
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 758 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer programming
Computers
Mathematical logic
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Models and Principles
Mathematical Logic and Formal Languages
Soggetto genere / forma Kongress.
Rio de Janeiro (2009)
ISBN 3-642-10373-1
Classificazione DAT 310f
DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML.
Record Nr. UNISA-996466305903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods and Software Engineering [[electronic resource] ] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / / edited by Karin Breitman, Ana Cavalcanti
Formal Methods and Software Engineering [[electronic resource] ] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / / edited by Karin Breitman, Ana Cavalcanti
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 758 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer programming
Computers
Mathematical logic
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Models and Principles
Mathematical Logic and Formal Languages
Soggetto genere / forma Kongress.
Rio de Janeiro (2009)
ISBN 3-642-10373-1
Classificazione DAT 310f
DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML.
Record Nr. UNINA-9910483945003321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 291 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Compilers (Computer programs)
Software engineering
Computer science
Mathematics of Computing
Compilers and Interpreters
Software Engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Models of Computation
ISBN 3-642-04368-2
Classificazione DAT 260f
DAT 510f
DAT 550f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements.
Record Nr. UNISA-996465632603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 291 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Compilers (Computer programs)
Software engineering
Computer science
Mathematics of Computing
Compilers and Interpreters
Software Engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Models of Computation
ISBN 3-642-04368-2
Classificazione DAT 260f
DAT 510f
DAT 550f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements.
Record Nr. UNINA-9910484859603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (VIII, 343 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Computer science—Mathematics
Mathematical logic
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Mathematics of Computing
Theory of Computation
Mathematical Logic and Foundations
ISBN 3-642-03429-2
Classificazione DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic.
Record Nr. UNISA-996465310803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (VIII, 343 p.)
Disciplina 004n/a
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Computer science—Mathematics
Mathematical logic
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Mathematics of Computing
Theory of Computation
Mathematical Logic and Foundations
ISBN 3-642-03429-2
Classificazione DAT 510f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic.
Record Nr. UNINA-9910483244603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui