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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|