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.
Algebra, Meaning, and Computation [[electronic resource] ] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
| Algebra, Meaning, and Computation [[electronic resource] ] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XXXVIII, 650 p.) |
| Disciplina | 512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Artificial intelligence Computer science—Mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Theory of Computation Mathematics of Computing |
| ISBN | 3-540-35464-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Meaning -- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity -- My Friend Joseph Goguen -- Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany -- Meta-Logic -- Quantum Institutions -- Jewels of Institution-Independent Model Theory -- Semantic Web Languages – Towards an Institutional Perspective -- Institutional 2-cells and Grothendieck Institutions -- Some Varieties of Equational Logic -- Complete Categorical Deduction for Satisfaction as Injectivity -- Specification and Composition -- Extension Morphisms for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ to ML to Coq -- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics in OBJ -- Horizontal Composability Revisited -- Composition by Colimit and Formal Software Development -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive Engine for Modular Transducers -- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages -- Sheaves and Structures of Transition Systems -- Uniform Functors on Sets -- An Algebraic Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications of the Rational Complex Numbers -- From Chaos to Undefinedness -- Completion Is an Instance of Abstract Canonical System Inference -- Eliminating Dependent Pattern Matching -- Iterative Lexicographic Path Orders -- A Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software Testing -- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method -- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. |
| Record Nr. | UNISA-996465756003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / / Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer (eds.)
| Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / / Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, c2006 |
| Descrizione fisica | 1 online resource (XXXVIII, 650 p.) |
| Disciplina | 512 |
| Altri autori (Persone) |
GoguenJoseph
FutatsugiKokichi JouannaudJean-Pierre MeseguerJose |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Algebra
Algebra - Data processing |
| ISBN | 3-540-35464-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Meaning -- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity -- My Friend Joseph Goguen -- Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany -- Meta-Logic -- Quantum Institutions -- Jewels of Institution-Independent Model Theory -- Semantic Web Languages – Towards an Institutional Perspective -- Institutional 2-cells and Grothendieck Institutions -- Some Varieties of Equational Logic -- Complete Categorical Deduction for Satisfaction as Injectivity -- Specification and Composition -- Extension Morphisms for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ to ML to Coq -- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics in OBJ -- Horizontal Composability Revisited -- Composition by Colimit and Formal Software Development -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive Engine for Modular Transducers -- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages -- Sheaves and Structures of Transition Systems -- Uniform Functors on Sets -- An Algebraic Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications of the Rational Complex Numbers -- From Chaos to Undefinedness -- Completion Is an Instance of Abstract Canonical System Inference -- Eliminating Dependent Pattern Matching -- Iterative Lexicographic Path Orders -- A Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software Testing -- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method -- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. |
| Record Nr. | UNINA-9910484787503321 |
| Berlin ; ; New York, : Springer-Verlag, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-Technologies for Advanced Software [[electronic resource] ] : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / / edited by Kokichi Futatsugi, Satoshi Matsuoka
| Object-Technologies for Advanced Software [[electronic resource] ] : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / / edited by Kokichi Futatsugi, Satoshi Matsuoka |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XII, 316 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Data structures (Computer science) Database management Programming languages (Electronic computers) Programming Techniques Software Engineering/Programming and Operating Systems Data Structures and Information Theory Software Engineering Database Management Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-49747-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Object Utopia -- Automating the evolution of object-oriented systems -- Using C++ templates to implement role-based designs -- Explicit metaclasses as a tool for improving the design of class libraries -- Beyond design by contract: Towards formally provable object-oriented software -- Static typing -- ICC++ - A C++ dialect for high performance parallel computing -- Hierarchical collections: An efficient scheme to build an object-oriented distributed class library for massively parallel computation -- Adaptive parameter passing -- Designing a meta object protocol to wrap a standard graphical toolkit -- Avoiding confusion in metacircularity: The meta-helix -- An algebraic semantics of reflective objects -- A meme media architecture for fine-grain component software -- A metric for evaluating effectiveness of object-oriented interface abstraction for promoting software reuse -- An experiment in classification and specialization of synchronization schemes -- Synergies between object-oriented programming language design and implementation research -- Ocore and VAST — Integrating persistence into a parallel object-oriented language -- A metaobject protocol for controlling file cache management -- Subtyping by constraints in object-oriented databases. |
| Record Nr. | UNISA-996465857403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Security - Theories and Systems [[electronic resource] ] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki
| Software Security - Theories and Systems [[electronic resource] ] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 005.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer communication systems Operating systems (Computers) Data encryption (Computer science) Programming languages (Electronic computers) Computers Computer Applications Computer Communication Networks Operating Systems Cryptology Programming Languages, Compilers, Interpreters Theory of Computation |
| ISBN | 3-540-37621-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1: Analysis of Protocols and Cryptography -- Verifying Confidentiality and Authentication in Kerberos 5 -- A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack -- Formal Analysis of the NetBill Electronic Commerce Protocol -- Inferences on Honesty in Compositional Logic for Protocol Analysis -- A Formal System for Analysis of Cryptographic Encryption and Their Security Properties -- 2: Verification of Security Properties -- Formal Specification and Verification of Resource Bound Security Using PVS -- Java Program Verification at Nijmegen: Developments and Perspective -- Decision Procedures for Several Properties of Reactive System Specifications -- A Model for Delimited Information Release -- 3: Safe Implementation of Programming Languages -- The Interface Definition Language for Fail-Safe C -- Lightweight Wrappers for Interfacing with Binary Code in CCured -- 4: Secure Execution Environments -- Detecting Unknown Computer Viruses – A New Approach – -- Security Policy Descriptions Through the Use of Control Structure of a Target Program -- Securing RPC with a Reference Monitor for System Calls -- UML Scrapbook and Realization of Snapshot Programming Environment -- 5: Secure Systems and Security Management -- Managing Information Technology Security Risk -- SEAS: A Secure E-Voting Applet System -- The Design of a Secure Distributed Devices System Based on Immunity. |
| Record Nr. | UNISA-996465755003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Security - Theories and Systems : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki
| Software Security - Theories and Systems : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 005.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer networks Operating systems (Computers) Data encryption (Computer science) Programming languages (Electronic computers) Computers Computer Applications Computer Communication Networks Operating Systems Cryptology Programming Languages, Compilers, Interpreters Theory of Computation |
| ISBN | 3-540-37621-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1: Analysis of Protocols and Cryptography -- Verifying Confidentiality and Authentication in Kerberos 5 -- A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack -- Formal Analysis of the NetBill Electronic Commerce Protocol -- Inferences on Honesty in Compositional Logic for Protocol Analysis -- A Formal System for Analysis of Cryptographic Encryption and Their Security Properties -- 2: Verification of Security Properties -- Formal Specification and Verification of Resource Bound Security Using PVS -- Java Program Verification at Nijmegen: Developments and Perspective -- Decision Procedures for Several Properties of Reactive System Specifications -- A Model for Delimited Information Release -- 3: Safe Implementation of Programming Languages -- The Interface Definition Language for Fail-Safe C -- Lightweight Wrappers for Interfacing with Binary Code in CCured -- 4: Secure Execution Environments -- Detecting Unknown Computer Viruses – A New Approach – -- Security Policy Descriptions Through the Use of Control Structure of a Target Program -- Securing RPC with a Reference Monitor for System Calls -- UML Scrapbook and Realization of Snapshot Programming Environment -- 5: Secure Systems and Security Management -- Managing Information Technology Security Risk -- SEAS: A Secure E-Voting Applet System -- The Design of a Secure Distributed Devices System Based on Immunity. |
| Record Nr. | UNINA-9910144339803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||