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.
Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (279 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Computers, Special purpose Machine theory Computer programming Logic programming Computer Science Logic and Foundations of Programming Computer Communication Networks Special Purpose and Application-Based Systems Formal Languages and Automata Theory Programming Techniques Logic in AI |
| ISBN | 3-030-37487-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . |
| Record Nr. | UNISA-996466188603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
| Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (279 pages) |
| Disciplina |
004
004 (edition:23) |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Computers, Special purpose Machine theory Computer programming Logic programming Computer Science Logic and Foundations of Programming Computer Communication Networks Special Purpose and Application-Based Systems Formal Languages and Automata Theory Programming Techniques Logic in AI |
| ISBN | 3-030-37487-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . |
| Record Nr. | UNINA-9910364954303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / / edited by Andrei Voronkov, Irina Virbitskaite
| Perspectives of System Informatics [[electronic resource] ] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / / edited by Andrei Voronkov, Irina Virbitskaite |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 415 p. 106 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Theory of Computation |
| ISBN | 3-662-46823-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint AND-Decomposition of Boolean Formulas -- A Multi-agent Text Analysis Based on Ontology of Subject Domain -- Towards High-Level Programming for Systems with Many Cores -- Inductive Prover Based on Equality Saturation for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups, Bisimulation and Distillation -- Certifying Supercompilation for Martin-Löf's Type Theory -- Index Sets as a Measure of Continuous Constraint Complexity -- Decidability and Expressiveness of Recursive Weighted Logic -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing Combinators with Choice -- The Study of Multidimensional R-Tree-based Index Scalability in Multicore Environment -- Skeblle: A new Kind of Diagramming Tool with Programmable Active Diagrams -- The Role of Indirections in Lazy Natural Semantics -- Model Checking Value-Passing Modal Specifications -- Towards Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback -- Towards Symbolic Execution in Erlang -- Bonsai: Cutting Models Down to Size -- Comparing Semantics Under Strong Timing of Petri Nets -- Probabilistic Formal Concepts for Contexts with Negation -- Modeling Environment for Static Verification of Linux Kernel Modules. |
| Record Nr. | UNISA-996207291803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / / edited by Andrei Voronkov, Irina Virbitskaite
| Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / / edited by Andrei Voronkov, Irina Virbitskaite |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 415 p. 106 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Theory of Computation |
| ISBN | 3-662-46823-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint AND-Decomposition of Boolean Formulas -- A Multi-agent Text Analysis Based on Ontology of Subject Domain -- Towards High-Level Programming for Systems with Many Cores -- Inductive Prover Based on Equality Saturation for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups, Bisimulation and Distillation -- Certifying Supercompilation for Martin-Löf's Type Theory -- Index Sets as a Measure of Continuous Constraint Complexity -- Decidability and Expressiveness of Recursive Weighted Logic -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing Combinators with Choice -- The Study of Multidimensional R-Tree-based Index Scalability in Multicore Environment -- Skeblle: A new Kind of Diagramming Tool with Programmable Active Diagrams -- The Role of Indirections in Lazy Natural Semantics -- Model Checking Value-Passing Modal Specifications -- Towards Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback -- Towards Symbolic Execution in Erlang -- Bonsai: Cutting Models Down to Size -- Comparing Semantics Under Strong Timing of Petri Nets -- Probabilistic Formal Concepts for Contexts with Negation -- Modeling Environment for Static Verification of Linux Kernel Modules. |
| Record Nr. | UNINA-9910483246203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives of Systems Informatics [[electronic resource] ] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers / / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
| Perspectives of Systems Informatics [[electronic resource] ] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers / / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 411 p. 130 illus.) |
| Disciplina | 005.1015113 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Computer programming Algorithms Optical data processing Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-29709-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465412703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of Systems Informatics [[electronic resource] ] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
| Perspectives of Systems Informatics [[electronic resource] ] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 426 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques |
| ISBN |
1-280-38552-9
9786613563446 3-642-11486-5 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a Scalable, Pragmatic Knowledge Representation Language for the Web -- An Experiment with the Fourth Futamura Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis. |
| Record Nr. | UNISA-996465319503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers / / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
| Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers / / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XIII, 426 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
PnueliA
VirbitskaiteIrina VoronkovA <1959-> (Andrei) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Computer science Systems engineering |
| ISBN |
1-280-38552-9
9786613563446 3-642-11486-5 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a Scalable, Pragmatic Knowledge Representation Language for the Web -- An Experiment with the Fourth Futamura Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis. |
| Altri titoli varianti | PSI 2009 |
| Record Nr. | UNINA-9910484946603321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives of Systems Informatics [[electronic resource] ] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / / edited by Andrei Voronkov, Irina Virbitskaite
| Perspectives of Systems Informatics [[electronic resource] ] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / / edited by Andrei Voronkov, Irina Virbitskaite |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (509 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer programming Theory of Computation Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Programming Techniques |
| ISBN |
1-280-96962-8
9786610969623 3-540-70881-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Separability in Conflict-Free Petri Nets -- Grand Challenges of System Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers -- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages -- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method -- A Versioning and Evolution Framework for RDF Knowledge Bases -- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules -- On the Usage of Concrete Syntax in Model Transformation Rules -- TTCN-3 for Distributed Testing Embedded Software -- Chase of Recursive Queries -- Improving Semistatic Compression Via Pair-Based Coding -- An Agent-Based Architecture for Dialogue Systems -- Encoding Mobile Ambients into the ?-Calculus -- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources -- Deriving State-Based Implementations of Interactive Components with History Abstractions -- Introducing Debugging Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs -- Information-Flow Attacks Based on Limited Observations -- Verifying Generalized Soundness of Workflow Nets -- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs -- Satisfiability of Viability Constraints for Pfaffian Dynamics -- On the Importance of Parameter Tuning in Text Categorization -- Preconditions for Structural Synthesis of Programs -- How to Verify and Exploit a Refinement of Component-Based Systems -- Refinements in Typed Abstract State Machines -- Report on an Implementation of a Semi-inverter -- Loop Parallelization in Multi-dimensional Cartesian Space -- An ASM Semantics of Token Flow in UML 2 Activity Diagrams -- Well-Structured Model Checking of Multiagent Systems -- Development of a Robust Data Mining Method Using CBFS and RSM -- Pushout: A Mathematical Model of Architectural Merger -- A Formal Model of Data Privacy -- Linear Complementarity and P-Matrices for Stochastic Games -- Short Papers -- RapidOWL — An Agile Knowledge Engineering Methodology -- BURS-Based Instruction Set Selection -- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L -- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction -- Streaming Networks for Coordinating Data-Parallel Programs -- Formal Methods in Industrial Software Standards Enforcement -- Visual Rules Modeling -- Security for Multithreaded Programs Under Cooperative Scheduling -- A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs -- A Knowledge Portal for Cultural Information Resources: Towards an Architecture. |
| Record Nr. | UNISA-996465859303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / / edited by Andrei Voronkov, Irina Virbitskaite
| Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / / edited by Andrei Voronkov, Irina Virbitskaite |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (509 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer programming Theory of Computation Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Programming Techniques |
| ISBN |
1-280-96962-8
9786610969623 3-540-70881-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Separability in Conflict-Free Petri Nets -- Grand Challenges of System Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers -- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages -- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method -- A Versioning and Evolution Framework for RDF Knowledge Bases -- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules -- On the Usage of Concrete Syntax in Model Transformation Rules -- TTCN-3 for Distributed Testing Embedded Software -- Chase of Recursive Queries -- Improving Semistatic Compression Via Pair-Based Coding -- An Agent-Based Architecture for Dialogue Systems -- Encoding Mobile Ambients into the ?-Calculus -- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources -- Deriving State-Based Implementations of Interactive Components with History Abstractions -- Introducing Debugging Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs -- Information-Flow Attacks Based on Limited Observations -- Verifying Generalized Soundness of Workflow Nets -- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs -- Satisfiability of Viability Constraints for Pfaffian Dynamics -- On the Importance of Parameter Tuning in Text Categorization -- Preconditions for Structural Synthesis of Programs -- How to Verify and Exploit a Refinement of Component-Based Systems -- Refinements in Typed Abstract State Machines -- Report on an Implementation of a Semi-inverter -- Loop Parallelization in Multi-dimensional Cartesian Space -- An ASM Semantics of Token Flow in UML 2 Activity Diagrams -- Well-Structured Model Checking of Multiagent Systems -- Development of a Robust Data Mining Method Using CBFS and RSM -- Pushout: A Mathematical Model of Architectural Merger -- A Formal Model of Data Privacy -- Linear Complementarity and P-Matrices for Stochastic Games -- Short Papers -- RapidOWL — An Agile Knowledge Engineering Methodology -- BURS-Based Instruction Set Selection -- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L -- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction -- Streaming Networks for Coordinating Data-Parallel Programs -- Formal Methods in Industrial Software Standards Enforcement -- Visual Rules Modeling -- Security for Multithreaded Programs Under Cooperative Scheduling -- A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs -- A Knowledge Portal for Cultural Information Resources: Towards an Architecture. |
| Record Nr. | UNINA-9910483114503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||