Advances in Communication Networking [[electronic resource] ] : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / / edited by Yvon Kermarrec |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 227 p. 76 illus.) |
Disciplina | 004.6 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer science
Computer Science, general |
ISBN | 3-319-13488-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Orchestrator-based SDN Framework With Its Northbound Interface -- A Tabu Search Optimization for Multicast Provisioning in Mixed-Line-Rate Optical Networks -- Consensus Based Report-Back Protocol for Improving the Network Lifetime in Underwater Sensor Networks -- Merging IEC CIM and DMTF CIM { A step towards an improved Smart Grid information model -- Approaches for offering QoS and specialized traffic treatment for WebRTC -- Identifying Operating System Using Flow-based Trafic Fingerprinting -- Towards an integrated SDN-NFV architecture for EPON Networks -- Towards an integrated SDN-NFV architecture for EPON Networks -- Towards validation of the Internet Census 2012. |
Record Nr. | UNISA-996211265603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Communication Networking : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / / edited by Yvon Kermarrec |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 227 p. 76 illus.) |
Disciplina | 004.6 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer science
Computer Science, general |
ISBN | 3-319-13488-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Orchestrator-based SDN Framework With Its Northbound Interface -- A Tabu Search Optimization for Multicast Provisioning in Mixed-Line-Rate Optical Networks -- Consensus Based Report-Back Protocol for Improving the Network Lifetime in Underwater Sensor Networks -- Merging IEC CIM and DMTF CIM { A step towards an improved Smart Grid information model -- Approaches for offering QoS and specialized traffic treatment for WebRTC -- Identifying Operating System Using Flow-based Trafic Fingerprinting -- Towards an integrated SDN-NFV architecture for EPON Networks -- Towards an integrated SDN-NFV architecture for EPON Networks -- Towards validation of the Internet Census 2012. |
Record Nr. | UNINA-9910484095303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIV, 283 p.) |
Disciplina | 005.13322gerDNB |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer system failures Computer software—Reusability Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation Performance and Reliability |
Soggetto genere / forma |
Brest (Bretagne, 2009)
Kongress. |
ISBN | 3-642-01924-2 |
Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
Record Nr. | UNISA-996465606503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIV, 283 p.) |
Disciplina | 005.13322gerDNB |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer system failures Computer software—Reusability Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation Performance and Reliability |
Soggetto genere / forma |
Brest (Bretagne, 2009)
Kongress. |
ISBN | 3-642-01924-2 |
Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
Record Nr. | UNINA-9910484097603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|