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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-07734-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNISA-996199996303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-07734-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNINA-9910484369103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNISA-996465839703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science - Mathematics Mathematical statistics Artificial intelligence - Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNINA-9910483208403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and Theory of Petri Nets [[electronic resource] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek
| Applications and Theory of Petri Nets [[electronic resource] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Theory of Computation Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNISA-996465669603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek
| Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Altri autori (Persone) |
LiliusJohan
PenczekWojciech |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Theory of Computation Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNINA-9910483534503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf
| Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 253 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
SeipelDietmar
HanusMichael WolfArmin |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Compilers (Computer programs)
Artificial intelligence Computer programming Compilers and Interpreters Artificial Intelligence Programming Techniques |
| ISBN |
9783642006753
3642006752 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. |
| Record Nr. | UNINA-9910484562003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
| Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 315 p.) |
| Disciplina | 005/.3/1 |
| Altri autori (Persone) | SeipelDietmar |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Compilers (Computer programs)
Artificial intelligence Computer programming Compilers and Interpreters Artificial Intelligence Programming Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based Language for Classification Queries -- Deductive and Inductive Reasoning on Spatio-Temporal Data -- Mining Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints -- Realising the Alternative Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent Engineering to Wisdom Engineering -- Web Services Based on Prolog and Xml -- A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language -- DialogEngines – Dialog Agents for Web-Based Self Service Consulting -- Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming -- A Pragmatic Approach to Pre-testing Prolog Programs. |
| Record Nr. | UNINA-9910768443703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
| Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
| Descrizione fisica | 1 online resource (390 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Computer science Computer programming Machine theory Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
| Record Nr. | UNINA-9910144147503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Reconfigurable Computing. Architectures, Tools, and Applications [[electronic resource] ] : 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet
| Applied Reconfigurable Computing. Architectures, Tools, and Applications [[electronic resource] ] : 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (344 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Computer networks Computers, Special purpose Computer systems Compilers (Computer programs) Image processing - Digital techniques Computer vision Computer Hardware Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Compilers and Interpreters Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-030-79025-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Design Tools -- Architecture -- Security -- Posters. |
| Record Nr. | UNISA-996464505403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
- Compilers (Computer programs) (1501)
-
Compilers and Interpreters
(1501)
- Computer science (1047)
- Software Engineering (1041)
- Software engineering (1041)