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.
Biologically Inspired Approaches to Advanced Information Technology [[electronic resource] ] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings / / edited by Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto
| Biologically Inspired Approaches to Advanced Information Technology [[electronic resource] ] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings / / edited by Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 388 p.) |
| Disciplina | 003/.54 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Artificial intelligence Algorithms Application software Computer vision Theory of Computation Computer Communication Networks Artificial Intelligence Computer and Information Systems Applications Computer Vision |
| ISBN | 3-540-32438-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Design of Synthetic Gene-Metabolic Circuits -- Morphological Computation: Connecting Brain, Body, and Environment -- Single Molecule Nano-Bioscience -- Robotics -- Evolving the Walking Behaviour of a 12 DOF Quadruped Using a Distributed Neural Architecture -- Robot Control: From Silicon Circuitry to Cells -- Networking I -- Proposal and Evaluation of a Cooperative Mechanism for Pure P2P File Sharing Networks -- Resilient Multi-path Routing Based on a Biological Attractor Selection Scheme -- Packet Classification with Evolvable Hardware Hash Functions – An Intrinsic Approach -- Biological Systems -- Emergence of Two Power-Laws in Evolution of Biochemical Network; Embedding Abundance Distribution into Topology -- Microbial Interaction in a Symbiotic Bioprocess of Lactic Acid Bacterium and Diary Yeast -- Responses of Fluctuating Biological Systems -- Analysis of Fluctuation in Gene Expression Based on Continuous Culture System -- Self-organization -- Bio-inspired Computing Machines with Self-repair Mechanisms -- Perspectives of Self-adapted Self-organizing Clustering in Organic Computing -- MOVE Processors That Self-replicate and Differentiate -- Evolutionary Computation -- The Evolutionary Emergence of Intrinsic Regeneration in Artificial Developing Organisms -- Evaluation of Fundamental Characteristics of Information Systems Based on Photonic DNA Computing -- Hybrid Concentration-Controlled Direct-Proportional Length-Based DNA Computing for Numerical Optimization of the Shortest Path Problem -- Modeling and Imaging -- Modeling of Trees with Interactive L-System and 3D Gestures -- New Vision Tools from the Comparative Study of an “Old” Psychophysical and a “Modern” Computational Model -- Photonic Information Techniques Based on Compound-Eye Imaging -- Attractor Memory with Self-organizing Input -- Networking II -- Bio-inspired Replica Density Control in Dynamic Networks -- Improving the Robustness of Epidemic Communication in Scale-Free Networks -- On Updated Data Dissemination Exploiting an Epidemic Model in Ad Hoc Networks -- Posters -- Modeling of Epidemic Diffusion in Peer-to-Peer File-Sharing Networks -- A High-Throughput Method to Quantify the Structural Properties of Individual Cell-Sized Liposomes by Flow Cytometry -- A User Authentication System Using Schema of Visual Memory -- A Consideration of Application of Attractor Selection to a Real-Time Production Scheduling -- Bio-inspired Organization for Multi-agents on Distributed Systems -- m-ActiveCube; Multimedia Extension of Spatial Tangible User Interface -- Biologically Inspired Adaptive Routing by Mimicking Enzymic Feedback Control Mechanism in the Cell -- An Interest-Based Peer Clustering Algorithm Using Ant Paradigm. |
| Record Nr. | UNISA-996465598803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Biologically inspired approaches to advanced information technology : Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006 : proceedings / / Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto (eds.)
| Biologically inspired approaches to advanced information technology : Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006 : proceedings / / Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Springer, c2006 |
| Descrizione fisica | 1 online resource (XIV, 388 p.) |
| Disciplina | 003/.54 |
| Altri autori (Persone) |
IjspeertAuke Jan
MasuzawaToshimitsu KusumotoShinji |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Bioinformatics
Information technology |
| ISBN | 3-540-32438-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Design of Synthetic Gene-Metabolic Circuits -- Morphological Computation: Connecting Brain, Body, and Environment -- Single Molecule Nano-Bioscience -- Robotics -- Evolving the Walking Behaviour of a 12 DOF Quadruped Using a Distributed Neural Architecture -- Robot Control: From Silicon Circuitry to Cells -- Networking I -- Proposal and Evaluation of a Cooperative Mechanism for Pure P2P File Sharing Networks -- Resilient Multi-path Routing Based on a Biological Attractor Selection Scheme -- Packet Classification with Evolvable Hardware Hash Functions – An Intrinsic Approach -- Biological Systems -- Emergence of Two Power-Laws in Evolution of Biochemical Network; Embedding Abundance Distribution into Topology -- Microbial Interaction in a Symbiotic Bioprocess of Lactic Acid Bacterium and Diary Yeast -- Responses of Fluctuating Biological Systems -- Analysis of Fluctuation in Gene Expression Based on Continuous Culture System -- Self-organization -- Bio-inspired Computing Machines with Self-repair Mechanisms -- Perspectives of Self-adapted Self-organizing Clustering in Organic Computing -- MOVE Processors That Self-replicate and Differentiate -- Evolutionary Computation -- The Evolutionary Emergence of Intrinsic Regeneration in Artificial Developing Organisms -- Evaluation of Fundamental Characteristics of Information Systems Based on Photonic DNA Computing -- Hybrid Concentration-Controlled Direct-Proportional Length-Based DNA Computing for Numerical Optimization of the Shortest Path Problem -- Modeling and Imaging -- Modeling of Trees with Interactive L-System and 3D Gestures -- New Vision Tools from the Comparative Study of an “Old” Psychophysical and a “Modern” Computational Model -- Photonic Information Techniques Based on Compound-Eye Imaging -- Attractor Memory with Self-organizing Input -- Networking II -- Bio-inspired Replica Density Control in Dynamic Networks -- Improving the Robustness of Epidemic Communication in Scale-Free Networks -- On Updated Data Dissemination Exploiting an Epidemic Model in Ad Hoc Networks -- Posters -- Modeling of Epidemic Diffusion in Peer-to-Peer File-Sharing Networks -- A High-Throughput Method to Quantify the Structural Properties of Individual Cell-Sized Liposomes by Flow Cytometry -- A User Authentication System Using Schema of Visual Memory -- A Consideration of Application of Attractor Selection to a Real-Time Production Scheduling -- Bio-inspired Organization for Multi-agents on Distributed Systems -- m-ActiveCube; Multimedia Extension of Spatial Tangible User Interface -- Biologically Inspired Adaptive Routing by Mimicking Enzymic Feedback Control Mechanism in the Cell -- An Interest-Based Peer Clustering Algorithm Using Ant Paradigm. |
| Altri titoli varianti | BioADIT 2006 |
| Record Nr. | UNINA-9910483845803321 |
| Berlin ; ; New York, N.Y., : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Distributed Systems [[electronic resource] ] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
| Principles of Distributed Systems [[electronic resource] ] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 517 p. 112 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Computer science—Mathematics Discrete mathematics Software engineering Artificial intelligence Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering Artificial Intelligence Symbolic and Algebraic Manipulation |
| ISBN |
1-280-39077-8
9786613568694 3-642-17653-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots -- Pattern Formation through Optimum Matching by Oblivious CORDA Robots -- RoboCast: Asynchronous Communication in Robot Networks -- Randomization in Distributed Algorithms -- Biased Selection for Building Small-World Networks -- Application of Random Walks to Decentralized Recommender Systems -- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes -- Brief Announcements I -- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths -- Self-stabilizing Byzantine Asynchronous Unison, -- Graph Algorithms -- Reliably Detecting Connectivity Using Local Graph Traits -- Distributed Game-Theoretic Vertex Coloring -- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self-stabilizing Programs -- A Formal Framework for Conformance Testing of Distributed Real-Time Systems -- Fault-Tolerance -- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value -- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure -- Failure Detectors Encapsulate Fairness -- -Based k-Set Agreement Algorithms -- Distributed Programming -- Distributed Programming with Tasks -- SkewCCC+: A Heterogeneous Distributed Hash Table -- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler -- Real-Time -- Partitioning Real-Time Systems on Multiprocessors with Shared Resources -- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors -- Tardiness Bounds for Global EDF with Deadlines Different from Periods -- Shared Memory -- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency -- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects -- Efficient Lock Free Privatization -- A Competitive Analysis for Balanced Transactional Memory Workloads -- Concurrency -- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space -- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended -- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency -- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem -- On the Message Complexity of Global Computations -- Optimizing Regenerator Cost in Traffic Grooming -- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems -- Monotonic Stabilization -- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol -- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. |
| Record Nr. | UNISA-996466021103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Distributed Systems : 14th International Conference, OPODIS 2010 ; Tozeur, Tunisia, December 14-17, 2010 : proceedings / / Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah (eds.)
| Principles of Distributed Systems : 14th International Conference, OPODIS 2010 ; Tozeur, Tunisia, December 14-17, 2010 : proceedings / / Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 517 p. 112 illus.) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
LuChenyang
MasuzawaToshimitsu MosbahMohamed |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Electronic data processing - Distributed processing
Distributed operating systems (Computers) Computer networks |
| ISBN |
1-280-39077-8
9786613568694 3-642-17653-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots -- Pattern Formation through Optimum Matching by Oblivious CORDA Robots -- RoboCast: Asynchronous Communication in Robot Networks -- Randomization in Distributed Algorithms -- Biased Selection for Building Small-World Networks -- Application of Random Walks to Decentralized Recommender Systems -- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes -- Brief Announcements I -- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths -- Self-stabilizing Byzantine Asynchronous Unison, -- Graph Algorithms -- Reliably Detecting Connectivity Using Local Graph Traits -- Distributed Game-Theoretic Vertex Coloring -- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self-stabilizing Programs -- A Formal Framework for Conformance Testing of Distributed Real-Time Systems -- Fault-Tolerance -- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value -- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure -- Failure Detectors Encapsulate Fairness -- -Based k-Set Agreement Algorithms -- Distributed Programming -- Distributed Programming with Tasks -- SkewCCC+: A Heterogeneous Distributed Hash Table -- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler -- Real-Time -- Partitioning Real-Time Systems on Multiprocessors with Shared Resources -- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors -- Tardiness Bounds for Global EDF with Deadlines Different from Periods -- Shared Memory -- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency -- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects -- Efficient Lock Free Privatization -- A Competitive Analysis for Balanced Transactional Memory Workloads -- Concurrency -- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space -- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended -- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency -- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem -- On the Message Complexity of Global Computations -- Optimizing Regenerator Cost in Traffic Grooming -- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems -- Monotonic Stabilization -- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol -- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. |
| Altri titoli varianti | OPODIS 2010 |
| Record Nr. | UNINA-9910484041603321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
| Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 380 p. 86 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Application software Computer science Algorithms Data protection Computer Communication Networks Software Engineering Computer and Information Systems Applications Computer Science Logic and Foundations of Programming Data and Information Security |
| ISBN | 3-319-03089-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks. |
| Record Nr. | UNISA-996465473303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stabilization, Safety, and Security of Distributed Systems : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
| Stabilization, Safety, and Security of Distributed Systems : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 380 p. 86 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Application software Computer science Algorithms Data protection Computer Communication Networks Software Engineering Computer and Information Systems Applications Computer Science Logic and Foundations of Programming Data and Information Security |
| ISBN | 3-319-03089-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks. |
| Record Nr. | UNINA-9910739411703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stabilization, Safety, and Security of Distributed Systems : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / / edited by Toshimitsu Masuzawa, Sébastien Tixeuil
| Stabilization, Safety, and Security of Distributed Systems : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||