Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings / / edited by Xavier Défago, Franck Petit, Vincent Villain |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 452 p.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Computers, Special purpose Computer science Algorithms Data protection Electronic data processing—Management Computer Communication Networks Special Purpose and Application-Based Systems Theory of Computation Data and Information Security IT Operations |
ISBN | 3-642-24550-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465529003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / / edited by Sandeep Kulkarni, Andre Schiper |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 265 p.) |
Disciplina | 004.36 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Computer programming Computers, Special purpose Computer science Algorithms Electronic data processing—Management Computer Communication Networks Programming Techniques Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN | 3-540-89335-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Talks -- Keynote: Primitives for Physical Trust -- Keynote: Trustworthy Services and the Biological Analogy -- Keynote: Distributed Algorithms and VLSI -- MAC Layer Protocols -- A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model -- Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs -- Wireless Networks I -- Duty Cycle Stabilization in Semi-mobile Wireless Networks -- DISH: Distributed Self-Healing -- Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks -- Stabilizing Algorithms I -- Self-stabilizing Numerical Iterative Computation -- A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem -- Self-Stabilizing Leader Election in Optimal Space -- Stabilizing Algorithms II -- Tiara: A Self-stabilizing Deterministic Skip List -- Local Synchronization on Oriented Rings -- Stabilization of Max-Min Fair Networks without Per-flow State -- Wireless Networks II -- Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links -- Self-stabilizing Mobile Robot Formations with Virtual Nodes -- An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks -- Security and System Models -- Our Brothers’ Keepers: Secure Routing with High Performance -- Pharewell to Phishing -- The Asynchronous Bounded-Cycle Model -- Tutorial Abstract -- Tutorial Abstract Virtual Infrastructure. |
Record Nr. | UNISA-996465907603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / / edited by Sandeep Kulkarni, Andre Schiper |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 265 p.) |
Disciplina | 004.36 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Computer programming Computers, Special purpose Computer science Algorithms Electronic data processing—Management Computer Communication Networks Programming Techniques Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN | 3-540-89335-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Talks -- Keynote: Primitives for Physical Trust -- Keynote: Trustworthy Services and the Biological Analogy -- Keynote: Distributed Algorithms and VLSI -- MAC Layer Protocols -- A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model -- Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs -- Wireless Networks I -- Duty Cycle Stabilization in Semi-mobile Wireless Networks -- DISH: Distributed Self-Healing -- Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks -- Stabilizing Algorithms I -- Self-stabilizing Numerical Iterative Computation -- A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem -- Self-Stabilizing Leader Election in Optimal Space -- Stabilizing Algorithms II -- Tiara: A Self-stabilizing Deterministic Skip List -- Local Synchronization on Oriented Rings -- Stabilization of Max-Min Fair Networks without Per-flow State -- Wireless Networks II -- Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links -- Self-stabilizing Mobile Robot Formations with Virtual Nodes -- An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks -- Security and System Models -- Our Brothers’ Keepers: Secure Routing with High Performance -- Pharewell to Phishing -- The Asynchronous Bounded-Cycle Model -- Tutorial Abstract -- Tutorial Abstract Virtual Infrastructure. |
Record Nr. | UNINA-9910483958703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / / edited by Toshimitsu Masuzawa, Sébastien Tixeuil |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XIII, 414 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer networks Computers, Special purpose Computer science Algorithms Electronic data processing—Management Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN | 3-540-76627-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults? -- Role-Based Self-configuration of Sensor Networks -- Robots and Molecules -- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency -- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model -- Decentralized Detector Generation in Cooperative Intrusion Detection Systems -- Stabilizing Flocking Via Leader Election in Robot Networks -- Stabilization in Dynamic Systems with Varying Equilibrium -- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems -- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance -- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion -- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads -- Stabilization of Flood Sequencing Protocols in Sensor Networks -- Stabilization of Loop-Free Redundant Routing -- Secure Failure Detection in TrustedPals -- Probabilistic Fault-Containment -- Self* Minimum Connected Covers of Query Regions in Sensor Networks -- Robust Stabilizing Leader Election -- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model -- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract) -- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract) -- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks -- Global Predicate Detection in Distributed Systems with Small Faults -- The Truth System: Can a System of Lying Processes Stabilize? -- Temporal Partition in Sensor Networks -- Secure and Self-stabilizing Clock Synchronization in Sensor Networks -- On the Probabilistic Omission Adversary -- Upper Bounds for Stabilization in Acyclic Preference-Based Systems -- A Self-stabilizing Weighted Matching Algorithm -- Self-stabilization and Virtual Node Layer Emulations. |
Record Nr. | UNISA-996465303403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / / edited by Toshimitsu Masuzawa, Sébastien Tixeuil |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XIII, 414 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer networks Computers, Special purpose Computer science Algorithms Electronic data processing—Management Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN | 3-540-76627-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults? -- Role-Based Self-configuration of Sensor Networks -- Robots and Molecules -- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency -- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model -- Decentralized Detector Generation in Cooperative Intrusion Detection Systems -- Stabilizing Flocking Via Leader Election in Robot Networks -- Stabilization in Dynamic Systems with Varying Equilibrium -- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems -- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance -- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion -- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads -- Stabilization of Flood Sequencing Protocols in Sensor Networks -- Stabilization of Loop-Free Redundant Routing -- Secure Failure Detection in TrustedPals -- Probabilistic Fault-Containment -- Self* Minimum Connected Covers of Query Regions in Sensor Networks -- Robust Stabilizing Leader Election -- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model -- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract) -- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract) -- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks -- Global Predicate Detection in Distributed Systems with Small Faults -- The Truth System: Can a System of Lying Processes Stabilize? -- Temporal Partition in Sensor Networks -- Secure and Self-stabilizing Clock Synchronization in Sensor Networks -- On the Probabilistic Omission Adversary -- Upper Bounds for Stabilization in Acyclic Preference-Based Systems -- A Self-stabilizing Weighted Matching Algorithm -- Self-stabilization and Virtual Node Layer Emulations. |
Record Nr. | UNINA-9910767584403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / / edited by Ajoy K. Datta, Maria Gradinariu |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (604 p.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer networks Computers, Special purpose Computer science Algorithms Electronic data processing—Management Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN |
1-280-93575-8
9786610935758 3-540-49823-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Stabilization Enabling Technology -- A General Characterization of Indulgence -- Regular Papers -- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks -- A Case Study on Prototyping Power Management Protocols for Sensor Networks -- Unconscious Eventual Consistency with Gossips -- All k-Bounded Policies Are Equivalent for Self-stabilization -- A 1-Strong Self-stabilizing Transformer -- Optimal Message-Driven Implementation of Omega with Mute Processes -- Incremental Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees -- Recovery Oriented Programming -- Evaluation of a Tracking Architecture in Wireless Sensor Networks -- Self-protection for Distributed Component-Based Applications -- From Self- to Snap- Stabilization -- Self-stabilizing Philosophers with Generic Conflicts -- Selfish Stabilization -- Reliability and Availability Analysis of Self-stabilizing Systems -- Circle Formation of Weak Mobile Robots -- Self-stabilizing Device Drivers -- Secure Communication for RFIDs Proactive Information Security Within Computational Security -- Fault Masking in Tri-redundant Systems -- Logarithmic Keying of Communication Networks -- Safe Peer-to-Peer Self-downloading -- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks -- Self-stabilizing Byzantine Digital Clock Synchronization -- Distributed Edge Coloration for Bipartite Networks -- A Dependable Intrusion Detection Architecture Based on Agreement Services -- Stabilizing Health Monitoring for Wireless Sensor Networks -- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems -- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing -- Bounding the Impact of Unbounded Attacks in Stabilization -- On Bootstrapping Topology Knowledge in Anonymous Networks -- Self-adaptive Disk Arrays -- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility -- Self-stabilizing Asynchronous Phase Synchronization in General Graphs -- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework -- Energy-Efficient and Non-interactive Self-certification in MANETs -- Self-adaptive Worms and Countermeasures -- Brief Announcement -- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks -- Brief Announcement: Distributed Synthesis of Fault-Tolerance -- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks -- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET -- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures -- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems -- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus -- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion -- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm -- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks -- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems -- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System. |
Record Nr. | UNISA-996465276103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / / edited by Ajoy K. Datta, Maria Gradinariu |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (604 p.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computer networks Computers, Special purpose Computer science Algorithms Electronic data processing—Management Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Theory of Computation IT Operations |
ISBN |
1-280-93575-8
9786610935758 3-540-49823-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Stabilization Enabling Technology -- A General Characterization of Indulgence -- Regular Papers -- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks -- A Case Study on Prototyping Power Management Protocols for Sensor Networks -- Unconscious Eventual Consistency with Gossips -- All k-Bounded Policies Are Equivalent for Self-stabilization -- A 1-Strong Self-stabilizing Transformer -- Optimal Message-Driven Implementation of Omega with Mute Processes -- Incremental Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees -- Recovery Oriented Programming -- Evaluation of a Tracking Architecture in Wireless Sensor Networks -- Self-protection for Distributed Component-Based Applications -- From Self- to Snap- Stabilization -- Self-stabilizing Philosophers with Generic Conflicts -- Selfish Stabilization -- Reliability and Availability Analysis of Self-stabilizing Systems -- Circle Formation of Weak Mobile Robots -- Self-stabilizing Device Drivers -- Secure Communication for RFIDs Proactive Information Security Within Computational Security -- Fault Masking in Tri-redundant Systems -- Logarithmic Keying of Communication Networks -- Safe Peer-to-Peer Self-downloading -- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks -- Self-stabilizing Byzantine Digital Clock Synchronization -- Distributed Edge Coloration for Bipartite Networks -- A Dependable Intrusion Detection Architecture Based on Agreement Services -- Stabilizing Health Monitoring for Wireless Sensor Networks -- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems -- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing -- Bounding the Impact of Unbounded Attacks in Stabilization -- On Bootstrapping Topology Knowledge in Anonymous Networks -- Self-adaptive Disk Arrays -- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility -- Self-stabilizing Asynchronous Phase Synchronization in General Graphs -- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework -- Energy-Efficient and Non-interactive Self-certification in MANETs -- Self-adaptive Worms and Countermeasures -- Brief Announcement -- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks -- Brief Announcement: Distributed Synthesis of Fault-Tolerance -- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks -- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET -- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures -- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems -- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus -- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion -- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm -- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks -- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems -- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System. |
Record Nr. | UNINA-9910484732003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
String Processing and Information Retrieval [[electronic resource] ] : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings / / edited by Gabriele Fici, Marinella Sciortino, Rossano Venturini |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 318 p. 65 illus.) |
Disciplina | 005.746 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Information storage and retrieval systems
Electronic data processing—Management Information technology—Management Artificial intelligence Database management Computer vision Information Storage and Retrieval IT Operations Computer Application in Administrative Data Processing Artificial Intelligence Database Management Computer Vision |
ISBN | 3-319-67428-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Greedy shortest common superstring approximation in compact space -- Longest common factor after one edit operation -- Distinct squares in circular words -- LZ78 Compression in Low Main Memory Space -- On Two LZ78-style Grammars: Compression Bounds and Compressed-Space Computation.-On suffix tree breadth -- Pattern Matching on Elastic-Degenerate Text with Errors -- Succint Partial Sums and Fenwick Trees -- Tight Bounds for Top Tree Compression -- Efficient Compression and Indexing of Trajectories -- Fast Construction of Compressed Web Graphs -- Constructing a Consensus Phylogeny from a Leaf-Removal Distance -- Listing Maximal Independent Sets with Minimal Space and Bounded Delay -- Fast label extraction in the CDAWG -- Lightweight BWT and LCP Merging via the Gap algorithm -- Practical Evaluation of Lempel-Ziv-78 and Lempel-Ziv-Welch Tries -- Regular Abelian periods and longest common Abelian factors on run-length encoded strings.-Mining bit-parallel LCS-length algorithms -- Practical Implementation of Space-Efficient Dynamic Keyword Dictionaries -- Faster Practical Block Compression for Rank/Select Dictionaries -- Optimal Skeleton Huffman Trees -- Detecting Unary Patterns -- Order preserving pattern matching on trees and DAGs -- A Self-Index on Block Trees -- Counting Palindromes in Substrings -- linear-size CDAWG: new repetition-aware indexing and grammar compression. . |
Record Nr. | UNISA-996465981203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
String Processing and Information Retrieval [[electronic resource] ] : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings / / edited by Gabriele Fici, Marinella Sciortino, Rossano Venturini |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 318 p. 65 illus.) |
Disciplina | 005.746 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Information storage and retrieval systems
Electronic data processing—Management Information technology—Management Artificial intelligence Database management Computer vision Information Storage and Retrieval IT Operations Computer Application in Administrative Data Processing Artificial Intelligence Database Management Computer Vision |
ISBN | 3-319-67428-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Greedy shortest common superstring approximation in compact space -- Longest common factor after one edit operation -- Distinct squares in circular words -- LZ78 Compression in Low Main Memory Space -- On Two LZ78-style Grammars: Compression Bounds and Compressed-Space Computation.-On suffix tree breadth -- Pattern Matching on Elastic-Degenerate Text with Errors -- Succint Partial Sums and Fenwick Trees -- Tight Bounds for Top Tree Compression -- Efficient Compression and Indexing of Trajectories -- Fast Construction of Compressed Web Graphs -- Constructing a Consensus Phylogeny from a Leaf-Removal Distance -- Listing Maximal Independent Sets with Minimal Space and Bounded Delay -- Fast label extraction in the CDAWG -- Lightweight BWT and LCP Merging via the Gap algorithm -- Practical Evaluation of Lempel-Ziv-78 and Lempel-Ziv-Welch Tries -- Regular Abelian periods and longest common Abelian factors on run-length encoded strings.-Mining bit-parallel LCS-length algorithms -- Practical Implementation of Space-Efficient Dynamic Keyword Dictionaries -- Faster Practical Block Compression for Rank/Select Dictionaries -- Optimal Skeleton Huffman Trees -- Detecting Unary Patterns -- Order preserving pattern matching on trees and DAGs -- A Self-Index on Block Trees -- Counting Palindromes in Substrings -- linear-size CDAWG: new repetition-aware indexing and grammar compression. . |
Record Nr. | UNINA-9910483905203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transforming Learning and IT Management through Gamification [[electronic resource] /] / by Edmond C. Prakash, Madhusudan Rao |
Autore | Prakash Edmond C |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (131 p.) |
Disciplina | 004 |
Collana | International Series on Computer, Entertainment and Media Technology |
Soggetto topico |
Computer networks
Electronic data processing—Management Management Computer Communication Networks IT Operations |
ISBN | 3-319-18699-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Issues faced by IT Managers, Educators and Policy Makers -- Introduction to Gamification -- Introduction to Gamification in Enterprises -- Gamification in Informal Education environments: A Case Study -- Gamification in Enterprise: A Case Study -- How gamification helps Managers -- Implementing a gamification solution. |
Record Nr. | UNINA-9910299251203321 |
Prakash Edmond C
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|