top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Enhancing the Internet with the CONVERGENCE System : An Information-centric Network Coupled with a Standard Middleware / / edited by Fernando Almeida, Maria Teresa Andrade, Nicola Blefari Melazzi, Richard Walker, Heinrich Hussmann, Iakovos S. Venieris
Enhancing the Internet with the CONVERGENCE System : An Information-centric Network Coupled with a Standard Middleware / / edited by Fernando Almeida, Maria Teresa Andrade, Nicola Blefari Melazzi, Richard Walker, Heinrich Hussmann, Iakovos S. Venieris
Edizione [1st ed. 2014.]
Pubbl/distr/stampa London : , : Springer London : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (286 p.)
Disciplina 004.678
Collana Signals and Communication Technology
Soggetto topico Electrical engineering
Computer communication systems
Application software
Communications Engineering, Networks
Computer Communication Networks
Information Systems Applications (incl. Internet)
ISBN 1-4471-5373-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approaches for the Development of Information-Centric Networks -- Convergence Architecture: A Concise Overview -- The Network Level (CoNet) -- The Content Level (CoMid) -- The Versatile Digital Item (VDI) -- The Convergence Security Infrastructure -- The Adoption of Rights Expression Language in CONVERGENCE -- Scenarios and Trials for CONVERGENCE -- Business Models and Exploitation -- Conclusions and Future Research Topics.
Record Nr. UNINA-9910299749903321
London : , : Springer London : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fundamental Approaches to Software Engineering [[electronic resource] ] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / / edited by Heinrich Hussmann
Fundamental Approaches to Software Engineering [[electronic resource] ] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / / edited by Heinrich Hussmann
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XIV, 350 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer logic
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
ISBN 3-540-45314-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Physical Programming: Beyond Mere Logic -- Metamodelling -- Metamodelling and Conformance Checking with PVS -- The Metamodelling Language Calculus: Foundation Semantics for UML -- Distributed Components -- Compositional Checking of Communication among Observers -- Combining Independent Specifications -- Proving Deadlock Freedom in Component-Based Programming -- UML -- A Real-Time Execution Semantics for UML Activity Diagrams -- A CSP View on UML-RT Structure Diagrams -- Strengthening UML Collaboration Diagrams by State Transformations -- Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation -- On Use Cases and Their Relationships in the Unified Modelling Language -- On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design -- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach -- Towards Development of Secure Systems Using UMLsec -- Testing -- Grammar Testing -- Debugging via Run-Time Type Checking -- Library-Based Design and Consistency Checking of System-Level Industrial Test Cases -- Demonstration of an Automated Integrated Testing Environment for CTI Systems -- Formal Methods -- Semantics of Architectural Specifications in Casl -- Extending Development Graphs with Hiding -- A Logic for the Java Modeling Language JML -- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models -- Case Studies -- A Formal Object-Oriented Analysis for Software Reliability: Design for Verification -- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Record Nr. UNISA-996465779803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / / edited by Heinrich Hussmann
Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / / edited by Heinrich Hussmann
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XIV, 350 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer logic
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
ISBN 3-540-45314-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Physical Programming: Beyond Mere Logic -- Metamodelling -- Metamodelling and Conformance Checking with PVS -- The Metamodelling Language Calculus: Foundation Semantics for UML -- Distributed Components -- Compositional Checking of Communication among Observers -- Combining Independent Specifications -- Proving Deadlock Freedom in Component-Based Programming -- UML -- A Real-Time Execution Semantics for UML Activity Diagrams -- A CSP View on UML-RT Structure Diagrams -- Strengthening UML Collaboration Diagrams by State Transformations -- Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation -- On Use Cases and Their Relationships in the Unified Modelling Language -- On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design -- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach -- Towards Development of Secure Systems Using UMLsec -- Testing -- Grammar Testing -- Debugging via Run-Time Type Checking -- Library-Based Design and Consistency Checking of System-Level Industrial Test Cases -- Demonstration of an Automated Integrated Testing Environment for CTI Systems -- Formal Methods -- Semantics of Architectural Specifications in Casl -- Extending Development Graphs with Hiding -- A Logic for the Java Modeling Language JML -- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models -- Case Studies -- A Formal Object-Oriented Analysis for Software Reliability: Design for Verification -- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Record Nr. UNINA-9910143597703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Intelligent broadband networks
Intelligent broadband networks
Pubbl/distr/stampa [Place of publication not identified], : Wiley, 1998
Descrizione fisica 1 online resource (335 pages)
Disciplina 621.382/1
Soggetto topico Broadband communication systems
Multimedia systems
Electrical & Computer Engineering
Engineering & Applied Sciences
Telecommunications
ISBN 1-280-65434-1
9786610654345
0-470-85266-6
0-470-84194-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910146062203321
[Place of publication not identified], : Wiley, 1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Pubbl/distr/stampa Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Descrizione fisica 1 online resource (218 pages)
Disciplina 004
Collana Age of Access? Grundfragen der Informationsgesellschaft
Soggetto topico Information technology
Soggetto genere / forma Electronic books.
ISBN 3-11-045159-X
3-11-045387-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- Editor’s Preface -- Contents -- Introduction -- Media Architecture for Shared Encounters -- From Allopoietic Content to Autopoietic Content for Media Architecture through a Better Understanding of Architectural Typologies -- Interfaces of Media Architecture -- DIY / DIWO Media Architecture: The InstaBooth -- City Apps as Urban Interfaces -- Experiences Deploying Hybrid Media Architecture in Public Environments -- Designing Media Architecture: Methods and Tools -- Interacting with Media Architecture -- Media Façades and Narratives for Public Spaces -- Exploring Distribution as a Condition: Elements of a Minor Metropolitanism -- About the Authors
Record Nr. UNINA-9910467409303321
Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Pubbl/distr/stampa Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Descrizione fisica 1 online resource (218 pages)
Disciplina 004
Collana Age of Access? Grundfragen der Informationsgesellschaft
Soggetto topico Information technology
Soggetto non controllato Human-Computer Interaction
Information Visualization
Open Data
ISBN 3-11-045159-X
3-11-045387-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- Editor’s Preface -- Contents -- Introduction -- Media Architecture for Shared Encounters -- From Allopoietic Content to Autopoietic Content for Media Architecture through a Better Understanding of Architectural Typologies -- Interfaces of Media Architecture -- DIY / DIWO Media Architecture: The InstaBooth -- City Apps as Urban Interfaces -- Experiences Deploying Hybrid Media Architecture in Public Environments -- Designing Media Architecture: Methods and Tools -- Interacting with Media Architecture -- Media Façades and Narratives for Public Spaces -- Exploring Distribution as a Condition: Elements of a Minor Metropolitanism -- About the Authors
Record Nr. UNINA-9910796573803321
Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Media architecture : using information and media as construction material / / edited by Alexander Wiethoff and Heinrich Hussmann
Pubbl/distr/stampa Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Descrizione fisica 1 online resource (218 pages)
Disciplina 004
Collana Age of Access? Grundfragen der Informationsgesellschaft
Soggetto topico Information technology
Soggetto non controllato Human-Computer Interaction
Information Visualization
Open Data
ISBN 3-11-045159-X
3-11-045387-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- Editor’s Preface -- Contents -- Introduction -- Media Architecture for Shared Encounters -- From Allopoietic Content to Autopoietic Content for Media Architecture through a Better Understanding of Architectural Typologies -- Interfaces of Media Architecture -- DIY / DIWO Media Architecture: The InstaBooth -- City Apps as Urban Interfaces -- Experiences Deploying Hybrid Media Architecture in Public Environments -- Designing Media Architecture: Methods and Tools -- Interacting with Media Architecture -- Media Façades and Narratives for Public Spaces -- Exploring Distribution as a Condition: Elements of a Minor Metropolitanism -- About the Authors
Record Nr. UNINA-9910825547603321
Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Saur, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui