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.
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 | ||
| ||
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 EventB -- 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 | ||
| ||
Cellular Automata [[electronic resource] ] : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki
| Cellular Automata [[electronic resource] ] : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVI, 577 p.) |
| Disciplina | 005.0151135 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Bioinformatics Theory of Computation Computer Modelling Computer Communication Networks Computational and Systems Biology |
| ISBN | 3-540-79992-3 |
| Classificazione |
DAT 550f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- From CA to Gene Expression: Machines and Mechanisms -- What’s New in Wolfram’s New Kind of Science? -- Quantum Walks and Quantum Cellular Automata -- Modelling of Transport and Traffic Problems -- 1: Tools and Theory -- Occurrence of Gliders in an Infinite Class of Life-Like Cellular Automata -- Cellular Automata-Based Structures to Compute the Solutions of Linear Difference Equations -- Computing by Swarm Networks -- On a Membrane Formation in a Spatio-temporally Generalized Prisoner’s Dilemma -- An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible Elements -- Game ‘Life’ with Anticipation Property -- On the Representation of Gliders in Rule 54 by De Bruijn and Cycle Diagrams -- A Cellular Automaton Model for Tribological Problems -- Stabilizing and Destabilizing Effects of Embedding 3-Node Subgraphs on the State Space of Boolean Networks -- About 4-States Solutions to the Firing Squad Synchronization Problem -- Evaluating Cellular Automata Models by Evolutionary Multiobjective Calibration -- Entropy and Chaos in a Lattice Gas Cellular Automata -- Analysis of 90/150 Two Predecessor Nongroup Cellular Automata -- Analysis of Linear Group GF(2 p ) Cellular Automata -- On the Collision-Propagation and Gather-Update Formulations of a Cellular Automata Rule -- Exploring CA State Space to Synthesize Cellular Automata with Specified Attractor Set -- Characterization of Non-reachable States in Irreversible CA State Space -- An Efficient n ×n Boolean Mapping Using Additive Cellular Automata -- Controlling the Dynamics of the Fuzzy Cellular Automaton Rule 90, I. -- Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems -- Multi-scale Modeling with Cellular Automata: The Complex Automata Approach -- Reconfiguring Circuits Around Defects in Self-Timed Cellular Automata -- Theory of Composing Non-linear Machines with Predictable Cyclic Structures -- Combined Effect of Topology and Synchronism Perturbation on Cellular Automata: Preliminary Results -- Finite Size Stability Analysis for Stochastic Cellular Automata -- On the Addition of Recurrent Configurations of the Sandpile-Model -- A Construction Method of Moore Neighborhood Number-Conserving Cellular Automata -- Changing Neighborhoods of CA: Reduced Local Structures and Embeddings for Universality -- 2: CA Applications -- Error Investigations in Complex Automata Models for Reaction-Diffusion Systems -- Simulation of the Effect of Intermittent Flow in Polycrystals on the Basis of Cellular Automata and Relaxation Element Method -- Lattice Gas Automata Simulation of 2D Site-Percolation Diffusion: Configuration Dependence of the Theoretically Expected Crossover of Diffusion Regime -- Study on Acoustic Field with Fractal Boundary Using Cellular Automata -- The Heart Pacemaker by Cellular Automata on Complex Networks -- A Proposal for a Japanese Keyboard on Cellular Phones -- Quick Energy Drop in Stochastic 2D Minority -- The Diffusion of Perturbations in a Model of Coupled Random Boolean Networks -- Research into the Generation of Sound Effects Using a Cellular Automaton -- Modelling Combined Subaerial-Subaqueous Flow-Like Landslides by Cellular Automata -- Unstructured Cellular Automata and the Application to Model River Riparian Vegetation Dynamics -- Improving the Behavior of Creatures by Time-Shuffling -- Contact Network Modeling of Flu Epidemics -- A Slight Delay in the Onset of Conservation May Bring about an Abrupt Increase of Extinction Risk: Perturbation Experiments in an Ecological Lattice Model -- Lattice Population and Optimality of Sex Ratio: Effect of Sterile Male -- Real Option Approach to Quoting Queueing System -- Modeling of Environmental Effects on Bridge Components: Possibilities of Cellular Programming -- A CA Model of Spontaneous Formation of Concentration Gradients -- Applying a Cellular Automata Method for the Study of Transport and Deposition of Volcanic Particles -- Global and Local Processes in a Model of Innovation -- GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA -- A Three-Dimensional Pedestrian-Flow Simulation for High-Rising Buildings -- Compartment Lines Forming Emergent Alternative Configurations of Vehicles on Weaving Sections -- Real-Time Railway Network Simulator “KUTTY” -- Cellular Automata Simulation of Traffic Jam in Sag Section -- Simulation of Fire Evacuation by Real-Coded Cellular Automata (RCA) -- Walking-Distance Introduced Queueing Theory -- An Improved Double Byte Error Correcting Code Using Cellular Automata -- Nonlinear Pseudorandom Sequences Based on 90/150 LHGCA -- Cryptographically Strong S-Boxes Based on Cellular Automata -- Computational Hematology in Systems Biology -- Dynamically Reorganising Vascular Networks Modelled Using Cellular Automata Approach -- A Stochastic Multi-agent Model of Stem Cell Proliferation -- coreBIST: A Cellular Automata Based Core for Self Testing System-on-Chips -- GPU Accelerated Computation and Visualization of Hexagonal Cellular Automata -- Automatic Design of FPGA Processor for the Backtracking of DNA Sequences Evolution Using Cellular Automata and Genetic Algorithms -- From Data and Signals Cellular Automata to Self-organizing Circuits -- Integrated Simulation and Information Sharing System for Disaster Mitigation -- Towards an Ontology for Crowds Description: A Proposal Based on Description Logic -- Towards a Multi-agent Model for Planning and Design of Exposition Spaces -- Potential Field Approach of a Cellular Automaton Evacuation Model and Its FPGA Implementation -- Evolving Multi-creature Systems for All-to-All Communication -- Counterflow Extension for the F.A.S.T.-Model -- Conflicts and Friction in Pedestrian Dynamics -- Fundamental Diagram and Validation of Crowd Models -- Multi-agent Frame of Social Distances Model -- Evacuation Simulation in Floor Field by Real-Coded Cellular Automata. |
| Record Nr. | UNISA-996465893603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cellular Automata : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki
| Cellular Automata : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVI, 577 p.) |
| Disciplina | 005.0151135 |
| Altri autori (Persone) | UmeoHiroshi |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Bioinformatics Theory of Computation Computer Modelling Computer Communication Networks Computational and Systems Biology |
| ISBN | 3-540-79992-3 |
| Classificazione |
DAT 550f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- From CA to Gene Expression: Machines and Mechanisms -- What’s New in Wolfram’s New Kind of Science? -- Quantum Walks and Quantum Cellular Automata -- Modelling of Transport and Traffic Problems -- 1: Tools and Theory -- Occurrence of Gliders in an Infinite Class of Life-Like Cellular Automata -- Cellular Automata-Based Structures to Compute the Solutions of Linear Difference Equations -- Computing by Swarm Networks -- On a Membrane Formation in a Spatio-temporally Generalized Prisoner’s Dilemma -- An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible Elements -- Game ‘Life’ with Anticipation Property -- On the Representation of Gliders in Rule 54 by De Bruijn and Cycle Diagrams -- A Cellular Automaton Model for Tribological Problems -- Stabilizing and Destabilizing Effects of Embedding 3-Node Subgraphs on the State Space of Boolean Networks -- About 4-States Solutions to the Firing Squad Synchronization Problem -- Evaluating Cellular Automata Models by Evolutionary Multiobjective Calibration -- Entropy and Chaos in a Lattice Gas Cellular Automata -- Analysis of 90/150 Two Predecessor Nongroup Cellular Automata -- Analysis of Linear Group GF(2 p ) Cellular Automata -- On the Collision-Propagation and Gather-Update Formulations of a Cellular Automata Rule -- Exploring CA State Space to Synthesize Cellular Automata with Specified Attractor Set -- Characterization of Non-reachable States in Irreversible CA State Space -- An Efficient n ×n Boolean Mapping Using Additive Cellular Automata -- Controlling the Dynamics of the Fuzzy Cellular Automaton Rule 90, I. -- Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems -- Multi-scale Modeling with Cellular Automata: The Complex Automata Approach -- ReconfiguringCircuits Around Defects in Self-Timed Cellular Automata -- Theory of Composing Non-linear Machines with Predictable Cyclic Structures -- Combined Effect of Topology and Synchronism Perturbation on Cellular Automata: Preliminary Results -- Finite Size Stability Analysis for Stochastic Cellular Automata -- On the Addition of Recurrent Configurations of the Sandpile-Model -- A Construction Method of Moore Neighborhood Number-Conserving Cellular Automata -- Changing Neighborhoods of CA: Reduced Local Structures and Embeddings for Universality -- 2: CA Applications -- Error Investigations in Complex Automata Models for Reaction-Diffusion Systems -- Simulation of the Effect of Intermittent Flow in Polycrystals on the Basis of Cellular Automata and Relaxation Element Method -- Lattice Gas Automata Simulation of 2D Site-Percolation Diffusion: Configuration Dependence of the Theoretically Expected Crossover of Diffusion Regime -- Study on Acoustic Field with Fractal Boundary Using Cellular Automata -- The Heart Pacemaker by Cellular Automata on Complex Networks -- A Proposal for a Japanese Keyboard on Cellular Phones -- Quick Energy Drop in Stochastic 2D Minority -- The Diffusion of Perturbations in a Model of Coupled Random Boolean Networks -- Research into the Generation of Sound Effects Using a Cellular Automaton -- Modelling Combined Subaerial-Subaqueous Flow-Like Landslides by Cellular Automata -- Unstructured Cellular Automata and the Application to Model River Riparian Vegetation Dynamics -- Improving the Behavior of Creatures by Time-Shuffling -- Contact Network Modeling of Flu Epidemics -- A Slight Delay in the Onset of Conservation May Bring about an Abrupt Increase of Extinction Risk: Perturbation Experiments in an Ecological Lattice Model -- Lattice Population and Optimality of Sex Ratio: Effect of Sterile Male -- Real Option Approach to Quoting Queueing System -- Modeling of Environmental Effects on Bridge Components: Possibilities of Cellular Programming -- A CA Model of Spontaneous Formation of Concentration Gradients -- Applying a Cellular Automata Method for the Study of Transport and Deposition of Volcanic Particles -- Global and Local Processes in a Model of Innovation -- GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA -- A Three-Dimensional Pedestrian-Flow Simulation for High-Rising Buildings -- Compartment Lines Forming Emergent Alternative Configurations of Vehicles on Weaving Sections -- Real-Time Railway Network Simulator “KUTTY” -- Cellular Automata Simulation of Traffic Jam in Sag Section -- Simulation of Fire Evacuation by Real-Coded Cellular Automata (RCA) -- Walking-Distance Introduced Queueing Theory -- An Improved Double Byte Error Correcting Code Using Cellular Automata -- Nonlinear Pseudorandom Sequences Based on 90/150 LHGCA -- Cryptographically Strong S-Boxes Based on Cellular Automata -- Computational Hematology in Systems Biology -- Dynamically Reorganising Vascular Networks Modelled Using Cellular Automata Approach -- A Stochastic Multi-agent Model of Stem Cell Proliferation -- coreBIST: A Cellular Automata Based Core for Self Testing System-on-Chips -- GPU Accelerated Computation and Visualization of Hexagonal Cellular Automata -- Automatic Design of FPGA Processor for the Backtracking of DNA Sequences Evolution Using Cellular Automata and Genetic Algorithms -- From Data and Signals Cellular Automata to Self-organizing Circuits -- Integrated Simulation and Information Sharing System for Disaster Mitigation -- Towards an Ontology for Crowds Description: A Proposal Based on Description Logic -- Towards a Multi-agentModel for Planning and Design of Exposition Spaces -- Potential Field Approach of a Cellular Automaton Evacuation Model and Its FPGA Implementation -- Evolving Multi-creature Systems for All-to-All Communication -- Counterflow Extension for the F.A.S.T.-Model -- Conflicts and Friction in Pedestrian Dynamics -- Fundamental Diagram and Validation of Crowd Models -- Multi-agent Frame of Social Distances Model -- Evacuation Simulation in Floor Field by Real-Coded Cellular Automata. |
| Record Nr. | UNINA-9910483082403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Formal Modeling and Analysis of Timed Systems : 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 : 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 |
| Altri autori (Persone) |
OuaknineJoël
VaandragerFrits |
| 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 | ||
| ||
Implementation and Application of Automata [[electronic resource] ] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / / edited by Stavros Konstantinidis
| Implementation and Application of Automata [[electronic resource] ] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / / edited by Stavros Konstantinidis |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 358 p. 78 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Bioinformatics Artificial intelligence—Data processing Information storage and retrieval systems Theory of Computation Formal Languages and Automata Theory Computational and Systems Biology Data Science Information Storage and Retrieval |
| ISBN | 3-642-39274-1 |
| Classificazione |
004
DAT 500f DAT 550f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complexity of automata -- Compressed automata -- Counter automata -- Dictionary matching -- Edit distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata -- Weighted automata -- XML streams. |
| Record Nr. | UNISA-996466242303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / / edited by Stavros Konstantinidis
| Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / / edited by Stavros Konstantinidis |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 358 p. 78 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Bioinformatics Artificial intelligence - Data processing Information storage and retrieval systems Theory of Computation Formal Languages and Automata Theory Computational and Systems Biology Data Science Information Storage and Retrieval |
| ISBN | 3-642-39274-1 |
| Classificazione |
004
DAT 500f DAT 550f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complexity of automata -- Compressed automata -- Counter automata -- Dictionary matching -- Edit distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata -- Weighted automata -- XML streams. |
| Record Nr. | UNINA-9910484900803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||