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.
Robust and Online Large-Scale Optimization [[electronic resource] ] : Models and Techniques for Transportation Systems / / edited by Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis
| Robust and Online Large-Scale Optimization [[electronic resource] ] : Models and Techniques for Transportation Systems / / edited by Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVIII, 423 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Electronic digital computers—Evaluation Computers, Special purpose Computer simulation Security systems Discrete mathematics Hardware Performance and Reliability System Performance and Evaluation Special Purpose and Application-Based Systems Computer Modelling Security Science and Technology Discrete Mathematics |
| ISBN | 3-642-05465-X |
| Classificazione |
004
BAU 853f MAT 910f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robustness and Recoverability: New Concepts -- The Concept of Recoverable Robustness, Linear Programming Recovery, and Railway Applications -- Recoverable Robustness in Shunting and Timetabling -- Light Robustness -- Incentive-Compatible Robust Line Planning -- A Bicriteria Approach for Robust Timetabling -- Robust Timetabling and Route Planning -- Meta-heuristic and Constraint-Based Approaches for Single-Line Railway Timetabling -- Engineering Time-Expanded Graphs for Faster Timetable Information -- Time-Dependent Route Planning -- The Exact Subgraph Recoverable Robust Shortest Path Problem -- Efficient Timetable Information in the Presence of Delays -- Robust Planning under Scarce Resources -- Integrating Robust Railway Network Design and Line Planning under Failures -- Effective Allocation of Fleet Frequencies by Reducing Intermediate Stops and Short Turning in Transit Systems -- Shunting for Dummies: An Introductory Algorithmic Survey -- Integrated Gate and Bus Assignment at Amsterdam Airport Schiphol -- Online Planning: Delay and Disruption Management -- Mining Railway Delay Dependencies in Large-Scale Real-World Delay Data -- Rescheduling Dense Train Traffic over Complex Station Interlocking Areas -- Online Train Disposition: To Wait or Not to Wait? -- Disruption Management in Passenger Railway Transportation. |
| Record Nr. | UNINA-9910483050603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Self-Organizing Systems [[electronic resource] ] : 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011, Proceedings / / edited by Christian Bettstetter, Carlos Gershenson
| Self-Organizing Systems [[electronic resource] ] : 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011, Proceedings / / edited by Christian Bettstetter, Carlos Gershenson |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (IX, 117 p.) |
| Disciplina | 004.65 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Software engineering Application software Information storage and retrieval Data mining Electrical engineering Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval Data Mining and Knowledge Discovery Communications Engineering, Networks |
| Soggetto genere / forma | Kongress |
| ISBN | 3-642-19167-3 |
| Classificazione | 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465622303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Architecture [[electronic resource] ] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Khalil Drira
| Software Architecture [[electronic resource] ] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Khalil Drira |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 354 p. 133 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer communication systems Management information systems Computer science Application software Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters |
| Soggetto genere / forma |
Kongress2013.Montpellier
Conference papers and proceedings. |
| ISBN | 3-642-39031-5 |
| Classificazione |
SS 4800
004 DAT 300f |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Composition-Centered Architectural Pattern Description Language -- Software Reference Architectures - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement -- Towards an Architecture for Managing Big Semantic Data in Real-Time -- Controlled Experiment on the Supportive Effect of Architectural Component Diagrams for Design Understanding of Novice Architects -- Software Architecture Documentation for Developers: A Survey -- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A Lightweight Language for Software Product Lines Architecture Description -- Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs -- Classification of Design Decisions – An Expert Survey in Practice -- Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse -- Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry -- Making the Right Decision: Supporting Architects with Design Decision Data -- Architecture-Centric Modeling of Design Decisions for Validation and Traceability -- Difficulty of Architectural Decisions – a Survey with Professional Architects -- The Role of Quality Attributes in Service-Based Systems Architecting: A Survey -- Maintaining Architectural Conformance during Software Development: A Practical Approach -- Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations -- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker -- Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review -- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level -- Run-Time Support to Manage Architectural Variability Specified with CVL -- Towards Extensive Software Architecture Erosion Repairs -- Benefits and Drawbacks of Reference Architectures -- Swap Fairness for Thrashing Mitigation -- Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes -- Describing Cloud Applications Architectures -- MVIC – An MVC Extension for Interactive, Multimodal Applications -- Toward Industry Friendly Software Architecture Evaluation -- Towards Continuous Reference Architecture Conformance Analysis -- Towards Automated Deployment of Distributed Adaptation Systems -- Towards a Bigraph-Based Model for Context-Aware Adaptive Systems -- Characterising Software Platforms from an Architectural Perspective -- Specifying System Architecture from SysML Requirements and Component Interfaces. |
| Record Nr. | UNINA-9910484562703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architecture [[electronic resource] ] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Khalil Drira
| Software Architecture [[electronic resource] ] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Khalil Drira |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 354 p. 133 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer communication systems Management information systems Computer science Application software Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Computer Communication Networks Management of Computing and Information Systems Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters |
| Soggetto genere / forma |
Kongress2013.Montpellier
Conference papers and proceedings. |
| ISBN | 3-642-39031-5 |
| Classificazione |
SS 4800
004 DAT 300f |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Composition-Centered Architectural Pattern Description Language -- Software Reference Architectures - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement -- Towards an Architecture for Managing Big Semantic Data in Real-Time -- Controlled Experiment on the Supportive Effect of Architectural Component Diagrams for Design Understanding of Novice Architects -- Software Architecture Documentation for Developers: A Survey -- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A Lightweight Language for Software Product Lines Architecture Description -- Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs -- Classification of Design Decisions – An Expert Survey in Practice -- Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse -- Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry -- Making the Right Decision: Supporting Architects with Design Decision Data -- Architecture-Centric Modeling of Design Decisions for Validation and Traceability -- Difficulty of Architectural Decisions – a Survey with Professional Architects -- The Role of Quality Attributes in Service-Based Systems Architecting: A Survey -- Maintaining Architectural Conformance during Software Development: A Practical Approach -- Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations -- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker -- Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review -- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level -- Run-Time Support to Manage Architectural Variability Specified with CVL -- Towards Extensive Software Architecture Erosion Repairs -- Benefits and Drawbacks of Reference Architectures -- Swap Fairness for Thrashing Mitigation -- Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes -- Describing Cloud Applications Architectures -- MVIC – An MVC Extension for Interactive, Multimodal Applications -- Toward Industry Friendly Software Architecture Evaluation -- Towards Continuous Reference Architecture Conformance Analysis -- Towards Automated Deployment of Distributed Adaptation Systems -- Towards a Bigraph-Based Model for Context-Aware Adaptive Systems -- Characterising Software Platforms from an Architectural Perspective -- Specifying System Architecture from SysML Requirements and Component Interfaces. |
| Record Nr. | UNISA-996465384003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci
| Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 257 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer engineering Computer programming Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Engineering Software Engineering Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-540-95888-6 |
| Classificazione |
004
DAT 310f SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Requirements and Design -- The Future of Software: Adaptation and Dependability -- Autonomic Computing Now You See It, Now You Don’t -- Impact of Usability on Software Requirements and Design -- Software Testing and Reverse Engineering -- Service-Oriented Architectures Testing: A Survey -- The PLASTIC Framework and Tools for Testing Service-Oriented Applications -- Architecture Reconstruction -- Management -- Collaboration in Distributed Software Development -- Web Cost Estimation and Productivity Benchmarking -- Knowledge Base and Experience Factory for Empowering Competitiveness. |
| Record Nr. | UNISA-996465911703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci
| Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 257 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer engineering Computer programming Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Engineering Software Engineering Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-540-95888-6 |
| Classificazione |
004
DAT 310f SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Requirements and Design -- The Future of Software: Adaptation and Dependability -- Autonomic Computing Now You See It, Now You Don’t -- Impact of Usability on Software Requirements and Design -- Software Testing and Reverse Engineering -- Service-Oriented Architectures Testing: A Survey -- The PLASTIC Framework and Tools for Testing Service-Oriented Applications -- Architecture Reconstruction -- Management -- Collaboration in Distributed Software Development -- Web Cost Estimation and Productivity Benchmarking -- Knowledge Base and Experience Factory for Empowering Competitiveness. |
| Record Nr. | UNINA-9910484950103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / / edited by Rachid Guerraoui, Franck Petit
| Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / / edited by Rachid Guerraoui, Franck Petit |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVIII, 801 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
User interfaces (Computer systems) Human-computer interaction Computers, Special purpose Computer science Algorithms Data protection Computer Communication Networks User Interfaces and Human Computer Interaction Special Purpose and Application-Based Systems Theory of Computation Data and Information Security |
| ISBN | 3-642-05118-9 |
| Classificazione |
004
DAT 250f DAT 461f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE -- Local Algorithms: Self-stabilization on Speed -- As Good as It Gets: Competitive Fault Tolerance in Network Structures -- Regular Papers -- Multicore Constraint-Based Automated Stabilization -- A Theory of Network Tracing -- Developing Autonomic and Secure Virtual Organisations with Chemical Programming -- Making Population Protocols Self-stabilizing -- Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios -- Consensus When All Processes May Be Byzantine for Some Time -- A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees -- Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is the End of the Road? -- Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks -- FoG: Fighting the Achilles’ Heel of Gossip Protocols with Fountain Codes -- How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? -- Fault-Containment in Weakly-Stabilizing Systems -- Stability of Distributed Algorithms in the Face of Incessant Faults -- Dependability Engineering of Silent Self-stabilizing Systems -- Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective -- Efficient Robust Storage Using Secret Tokens -- An Optimal Self-stabilizing Firing Squad -- Anonymous Transactions in Computer Networks -- Nash Equilibria in Stabilizing Systems -- ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation -- A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks -- Separation of Circulating Tokens -- Visiting Gafni’s Reduction Land: From the BG Simulation to the Extended BG Simulation -- Randomized Gathering of Mobile Robots with Local-Multiplicity Detection -- Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat -- CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks -- Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links -- Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler -- Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision -- Finding Good Partners in Availability-Aware P2P Networks -- Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables -- Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity -- Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems -- Model Checking Coalition Nash Equilibria in MAD Distributed Systems -- OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs -- A Self-stabilizing Algorithm for Graph Searching in Trees -- A Metastability-Free Multi-synchronous Communication Scheme for SoCs -- From Local Impact Functions to Global Adaptation of Service Compositions -- A Wireless Security Framework without Shared Secrets -- Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks -- Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning -- Network-Friendly Gossiping -- Black Hole Search with Tokens in Interconnected Networks -- Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model -- Speculation for Parallelizing Runtime Checks -- Optimistic Fair Exchange Using Trusted Devices -- Application Data Consistency Checking for Anomaly Based Intrusion Detection -- Self Adaptive High Interaction Honeypots Driven by Game Theory -- Cooperative Autonomic Management in Dynamic Distributed Systems -- Brief Announcements -- Brief Announcement: Consistent Fixed Points and Negative Gain -- Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems -- Safer Than Safe: On the Initial State of Self-stabilizing Systems -- Brief Announcement: Unique Permutation Hashing -- Randomization Adaptive Self-stabilization -- Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization -- Brief Announcement: An OS Architecture for Device Self-protection -- Brief Announcement: Towards Secure Cloud Computing -- Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters -- Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks -- Relocation Analysis of Stabilizing MAC -- Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model -- Brief Announcement: How to Overcome the Limits of Bounds -- Brief Announcement: The Design and Evaluation of a Distributed Reliable File System. |
| Record Nr. | UNISA-996466279703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / / edited by Rachid Guerraoui, Franck Petit
| Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / / edited by Rachid Guerraoui, Franck Petit |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVIII, 801 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
User interfaces (Computer systems) Human-computer interaction Computers, Special purpose Computer science Algorithms Data protection Computer Communication Networks User Interfaces and Human Computer Interaction Special Purpose and Application-Based Systems Theory of Computation Data and Information Security |
| ISBN | 3-642-05118-9 |
| Classificazione |
004
DAT 250f DAT 461f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE -- Local Algorithms: Self-stabilization on Speed -- As Good as It Gets: Competitive Fault Tolerance in Network Structures -- Regular Papers -- Multicore Constraint-Based Automated Stabilization -- A Theory of Network Tracing -- Developing Autonomic and Secure Virtual Organisations with Chemical Programming -- Making Population Protocols Self-stabilizing -- Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios -- Consensus When All Processes May Be Byzantine for Some Time -- A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees -- Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is the End of the Road? -- Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks -- FoG: Fighting the Achilles’ Heel of Gossip Protocols with Fountain Codes -- How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? -- Fault-Containment in Weakly-Stabilizing Systems -- Stability of Distributed Algorithms in the Face of Incessant Faults -- Dependability Engineering of Silent Self-stabilizing Systems -- Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective -- Efficient Robust Storage Using Secret Tokens -- An Optimal Self-stabilizing Firing Squad -- Anonymous Transactions in Computer Networks -- Nash Equilibria in Stabilizing Systems -- ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation -- A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks -- Separation of Circulating Tokens -- Visiting Gafni’s Reduction Land: From the BG Simulation to the Extended BG Simulation -- Randomized Gathering of Mobile Robots with Local-Multiplicity Detection -- Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat -- CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks -- Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links -- Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler -- Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision -- Finding Good Partners in Availability-Aware P2P Networks -- Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables -- Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity -- Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems -- Model Checking Coalition Nash Equilibria in MAD Distributed Systems -- OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs -- A Self-stabilizing Algorithm for Graph Searching in Trees -- A Metastability-Free Multi-synchronous Communication Scheme for SoCs -- From Local Impact Functions to Global Adaptation of Service Compositions -- A Wireless Security Framework without Shared Secrets -- Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks -- Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning -- Network-Friendly Gossiping -- Black Hole Search with Tokens in Interconnected Networks -- Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model -- Speculation for Parallelizing Runtime Checks -- Optimistic Fair Exchange Using Trusted Devices -- Application Data Consistency Checking for Anomaly Based Intrusion Detection -- Self Adaptive High Interaction Honeypots Driven by Game Theory -- Cooperative Autonomic Management in Dynamic Distributed Systems -- Brief Announcements -- Brief Announcement: Consistent Fixed Points and Negative Gain -- Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems -- Safer Than Safe: On the Initial State of Self-stabilizing Systems -- Brief Announcement: Unique Permutation Hashing -- Randomization Adaptive Self-stabilization -- Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization -- Brief Announcement: An OS Architecture for Device Self-protection -- Brief Announcement: Towards Secure Cloud Computing -- Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters -- Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks -- Relocation Analysis of Stabilizing MAC -- Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model -- Brief Announcement: How to Overcome the Limits of Bounds -- Brief Announcement: The Design and Evaluation of a Distributed Reliable File System. |
| Record Nr. | UNINA-9910483076103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sustainable Internet [[electronic resource] ] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings / / edited by Serge Fdida, Kazunori Sugiura
| Sustainable Internet [[electronic resource] ] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings / / edited by Serge Fdida, Kazunori Sugiura |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIII, 257 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Special purpose computers Application software Management information systems Computer science Computers Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Management of Computing and Information Systems Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress.
Phuket (Stadt, 2007) |
| ISBN | 3-540-76809-2 |
| Classificazione |
004
DAT 252f ELT 745f SS 2007 SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Packet Forwarding in Pocket Switched Networks – An Empirical Characterization of Human Mobility -- Session 1: Wireless Networks -- Mobility Versus Density Metric for OLSR Enhancement -- DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation -- A Prototyping Environment for Wireless Multihop Networks -- Efficient Selection of Multipoint Relays in Wireless Ad Hoc Networks with Realistic Physical Layer -- Invited Talk 2 -- Mobile Hotspots -- Session 2: Mobility Management -- Extending Home Agent Migration to Mobile IPv6 Based Protocols -- Experimental Evaluation of EAP Performance in Roaming Scenarios -- Session 3: Packet Transmission -- Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real-Time DV Streaming -- Invited Talk 3 -- Ubiquitous Devices, Mobility and Context Awareness -- Session 4: Applications and Services -- Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments -- WOD – Proxy-Based Web Object Delivery Service -- Invited Talk 4 -- Implementation Issues of Early Application Identification -- Invited Talk 5 -- Securing Internet Coordinate Systems -- Session 5: Network Monitoring -- A Real-Time Performance-Monitoring Tool for Emergency Networks -- A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms -- Invited Talk 6 -- Gap Analysis in IP Multicast Dissemination -- Session 6: Routing -- Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing? -- Quality-of-Service Multicast Overlay Spanning Tree Algorithms for Wireless Ad Hoc Networks -- Invited Talk 7 -- Architecture of Satellite Internet for Asia-Wide Digital Communications. |
| Record Nr. | UNISA-996465320103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sustainable Internet [[electronic resource] ] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings / / edited by Serge Fdida, Kazunori Sugiura
| Sustainable Internet [[electronic resource] ] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings / / edited by Serge Fdida, Kazunori Sugiura |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIII, 257 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Special purpose computers Application software Management information systems Computer science Computers Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Management of Computing and Information Systems Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress.
Phuket (Stadt, 2007) |
| ISBN | 3-540-76809-2 |
| Classificazione |
004
DAT 252f ELT 745f SS 2007 SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Packet Forwarding in Pocket Switched Networks – An Empirical Characterization of Human Mobility -- Session 1: Wireless Networks -- Mobility Versus Density Metric for OLSR Enhancement -- DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation -- A Prototyping Environment for Wireless Multihop Networks -- Efficient Selection of Multipoint Relays in Wireless Ad Hoc Networks with Realistic Physical Layer -- Invited Talk 2 -- Mobile Hotspots -- Session 2: Mobility Management -- Extending Home Agent Migration to Mobile IPv6 Based Protocols -- Experimental Evaluation of EAP Performance in Roaming Scenarios -- Session 3: Packet Transmission -- Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real-Time DV Streaming -- Invited Talk 3 -- Ubiquitous Devices, Mobility and Context Awareness -- Session 4: Applications and Services -- Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments -- WOD – Proxy-Based Web Object Delivery Service -- Invited Talk 4 -- Implementation Issues of Early Application Identification -- Invited Talk 5 -- Securing Internet Coordinate Systems -- Session 5: Network Monitoring -- A Real-Time Performance-Monitoring Tool for Emergency Networks -- A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms -- Invited Talk 6 -- Gap Analysis in IP Multicast Dissemination -- Session 6: Routing -- Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing? -- Quality-of-Service Multicast Overlay Spanning Tree Algorithms for Wireless Ad Hoc Networks -- Invited Talk 7 -- Architecture of Satellite Internet for Asia-Wide Digital Communications. |
| Record Nr. | UNINA-9910484477303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
