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.
Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNISA-996466040003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNINA-9910484488903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing and Software Science [[electronic resource] ] : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger
| Computing and Software Science [[electronic resource] ] : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Algorithms Artificial intelligence Computer Science Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-91908-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466446103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing and Software Science : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger
| Computing and Software Science : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Algorithms Artificial intelligence Computer Science Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-91908-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349297603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable Computing [[electronic resource] ] : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum
| Dependable Computing [[electronic resource] ] : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIV, 242 p.) |
| Disciplina | 004.2 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computers, Special purpose Electronic digital computers—Evaluation Software engineering Logic design Coding theory Information theory Computer Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering Logic Design Coding and Information Theory |
| ISBN | 3-540-75294-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract) -- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? -- Fault-Tolerant Algorithms -- Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation -- On the Implementation of Communication-Optimal Failure Detectors -- Connectivity in Eventually Quiescent Dynamic Distributed Systems -- Software Engineering of Dependable Systems -- Implementing Fault Tolerance Using Aspect Oriented Programming -- Architecture-Centric Fault Tolerance with Exception Handling -- Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study -- Networking and Mobile Computing -- Error Propagation Monitoring on Windows Mobile-Based Devices -- Gossiping: Adaptive and Reliable Broadcasting in MANETs -- On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios -- Experimental Dependability Evaluation -- Failure Boundedness in Discrete Applications -- Designing Fault Injection Experiments Using State-Based Model to Test a Space Software -- Component-Based Software Certification Based on Experimental Risk Assessment -- Intrusion Tolerance and Security -- Integrated Intrusion Detection in Databases -- Security Rationale for a Cooperative Backup Service for Mobile Devices -- Tutorials -- Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? -- Security Patterns and Secure Systems Design -- BAR—Where Distributed Computing Meets Game Theory -- Panels -- Scaling Dependability and Security in Ad Hoc Networks -- Assessing, Measuring, and Benchmarking Dependability and Resilience. |
| Record Nr. | UNISA-996466099503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum
| Dependable Computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIV, 242 p.) |
| Disciplina | 004.2 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computers, Special purpose Electronic digital computers—Evaluation Software engineering Logic design Coding theory Information theory Computer Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering Logic Design Coding and Information Theory |
| ISBN | 3-540-75294-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract) -- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? -- Fault-Tolerant Algorithms -- Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation -- On the Implementation of Communication-Optimal Failure Detectors -- Connectivity in Eventually Quiescent Dynamic Distributed Systems -- Software Engineering of Dependable Systems -- Implementing Fault Tolerance Using Aspect Oriented Programming -- Architecture-Centric Fault Tolerance with Exception Handling -- Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study -- Networking and Mobile Computing -- Error Propagation Monitoring on Windows Mobile-Based Devices -- Gossiping: Adaptive and Reliable Broadcasting in MANETs -- On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios -- Experimental Dependability Evaluation -- Failure Boundedness in Discrete Applications -- Designing Fault Injection Experiments Using State-Based Model to Test a Space Software -- Component-Based Software Certification Based on Experimental Risk Assessment -- Intrusion Tolerance and Security -- Integrated Intrusion Detection in Databases -- Security Rationale for a Cooperative Backup Service for Mobile Devices -- Tutorials -- Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? -- Security Patterns and Secure Systems Design -- BAR—Where Distributed Computing Meets Game Theory -- Panels -- Scaling Dependability and Security in Ad Hoc Networks -- Assessing, Measuring, and Benchmarking Dependability and Resilience. |
| Record Nr. | UNINA-9910767583203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable Computing [[electronic resource] ] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings / / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva
| Dependable Computing [[electronic resource] ] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings / / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XV, 267 p.) |
| Disciplina | 004.2 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Electronic digital computers—Evaluation Software engineering Logic design Coding theory Information theory Theory of Computation Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering Logic Design Coding and Information Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Probabilistic Validation of Computer System Survivability -- Timed Asynchronous Distributed Systems -- WLAN in Automation – More Than an Academic Exercise? -- Evaluation -- Using Stratified Sampling for Fault Injection -- A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension -- Certification -- Airborne Software Concerns in Civil Aviation Certification -- Modelling -- A Method for Modeling and Testing Exceptions in Component-Based Software Development -- Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars -- The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems -- Embedded Systems -- Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme -- On the Effects of Errors During Boot -- A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems -- Time -- Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults -- On the Monitoring Period for Fault-Tolerant Sensor Networks -- Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets -- Distributed Systems Algorithms -- Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution -- Generating Fast Atomic Commit from Hyperfast Consensus -- Group-Based Replication of On-Line Transaction Processing Servers -- Workshops -- Third Workshop on Theses and Dissertations on Dependable Computing -- Latin-American Workshop on Dependable Automation Systems -- Tutorials -- Software Architectures for Dependable Systems -- Fault-Tolerant Techniques for Concurrent Objects -- Agreement Protocols in Environments with Temporal Uncertainties. |
| Record Nr. | UNISA-996466225303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Computing and Networking [[electronic resource] ] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu
| Distributed Computing and Networking [[electronic resource] ] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIX, 522 p.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer engineering Cryptography Data encryption (Computer science) Data protection Electronic digital computers—Evaluation Algorithms Computer Communication Networks Computer Engineering and Networks Cryptology Data and Information Security System Performance and Evaluation |
| ISBN |
1-280-38542-1
9786613563347 3-642-11322-2 |
| Classificazione |
DAT 250f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- An Intelligent IT Infrastructure for the Future -- Heavy Tails and Models for the Web and Social Networks -- Data Structures and Algorithms for Packet Forwarding and Classification: Prof. A.K. Choudhury Memorial Lecture -- Spoken Web: A Parallel Web for the Masses: Industry Keynote -- India’s Mobile Revolution and the Unfinished Tasks: Invited Lecture -- Network Protocols and Applications -- Scheduling in Multi-Channel Wireless Networks -- Email Shape Analysis -- Maintaining Safety in Interdomain Routing with Hierarchical Path-Categories -- Fault-tolerance and Security -- On Communication Complexity of Secure Message Transmission in Directed Networks -- On Composability of Reliable Unicast and Broadcast -- A Leader-Free Byzantine Consensus Algorithm -- Authenticated Byzantine Generals in Dual Failure Model -- Sensor Networks -- Mission-Oriented k-Coverage in Mobile Wireless Sensor Networks -- Lessons from the Sparse Sensor Network Deployment in Rural India -- A New Architecture for Hierarchical Sensor Networks with Mobile Data Collectors -- Stability Analysis of Multi-hop Routing in Sensor Networks with Mobile Sinks -- Distributed Algorithms and Optimization -- Optimizing Distributed Computing Workflows in Heterogeneous Network Environments -- Radio Network Distributed Algorithms in the Unknown Neighborhood Model -- Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks -- A Token-Based Solution to the Group Mutual l-Exclusion Problem in Message Passing Distributed Systems -- Peer-to-Peer Networks and Network Tracing -- The Weak Network Tracing Problem -- Poisoning the Kad Network -- Credit Reputation Propagation: A Strategy to Curb Free-Riding in a Large BitTorrent Swarm -- Formal Understanding of the Emergence of Superpeer Networks: A Complex Network Approach -- Parallel and Distributed Systems -- Parallelization of the Lanczos Algorithm on Multi-core Platforms -- Supporting Malleability in Parallel Architectures with Dynamic CPUSETsMapping and Dynamic MPI -- Impact of Object Operations and Relationships on Concurrency Control in DOOS -- Causal Cycle Based Communication Pattern Matching -- Wireless Networks -- Channel Assignment in Virtual Cut-through Switching Based Wireless Mesh Networks -- Efficient Multi-hop Broadcasting in Wireless Networks Using k-Shortest Path Pruning -- Bandwidth Provisioning in Infrastructure-Based Wireless Networks Employing Directional Antennas -- ROTIO+: A Modified ROTIO for Nested Network Mobility -- Applications of Distributed Systems -- VirtualConnection: Opportunistic Networking for Web on Demand -- Video Surveillance with PTZ Cameras: The Problem of Maximizing Effective Monitoring Time -- DisClus: A Distributed Clustering Technique over High Resolution Satellite Data -- Performance Evaluation of a Wormhole-Routed Algorithm for Irregular Mesh NoC Interconnect -- Optical, Cellular and Mobile Ad Hoc Networks -- Dynamic Multipath Bandwidth Provisioning with Jitter, Throughput, SLA Constraints in MPLS over WDM Network -- Path Protection in Translucent WDM Optical Networks -- Post Deployment Planning of 3G Cellular Networks through Dual Homing of NodeBs -- K-Directory Community: Reliable Service Discovery in MANET -- Theory of Distributed Systems -- An Online, Derivative-Free Optimization Approach to Auto-tuning of Computing Systems -- Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability -- Hamiltonicity of a General OTIS Network -- Specifying Fault-Tolerance Using Split Precondition Logic -- Network Protocols -- Fast BGP Convergence Following Link/Router Failure -- On Using Network Tomography for Overlay Availability -- QoSBR: A Quality Based Routing Protocol for Wireless Mesh Networks -- An ACO Based Approach for Detection of an Optimal Attack Path in a Dynamic Environment. |
| Record Nr. | UNISA-996465635703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Computing and Networking : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu
| Distributed Computing and Networking : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIX, 522 p.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer engineering Cryptography Data encryption (Computer science) Data protection Electronic digital computers—Evaluation Algorithms Computer Communication Networks Computer Engineering and Networks Cryptology Data and Information Security System Performance and Evaluation |
| ISBN |
1-280-38542-1
9786613563347 3-642-11322-2 |
| Classificazione |
DAT 250f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- An Intelligent IT Infrastructure for the Future -- Heavy Tails and Models for the Web and Social Networks -- Data Structures and Algorithms for Packet Forwarding and Classification: Prof. A.K. Choudhury Memorial Lecture -- Spoken Web: A Parallel Web for the Masses: Industry Keynote -- India’s Mobile Revolution and the Unfinished Tasks: Invited Lecture -- Network Protocols and Applications -- Scheduling in Multi-Channel Wireless Networks -- Email Shape Analysis -- Maintaining Safety in Interdomain Routing with Hierarchical Path-Categories -- Fault-tolerance and Security -- On Communication Complexity of Secure Message Transmission in Directed Networks -- On Composability of Reliable Unicast and Broadcast -- A Leader-Free Byzantine Consensus Algorithm -- Authenticated Byzantine Generals in Dual Failure Model -- Sensor Networks -- Mission-Oriented k-Coverage in Mobile Wireless Sensor Networks -- Lessons from the Sparse Sensor Network Deployment in Rural India -- A New Architecture for Hierarchical Sensor Networks with Mobile Data Collectors -- Stability Analysis of Multi-hop Routing in Sensor Networks with Mobile Sinks -- Distributed Algorithms and Optimization -- Optimizing Distributed Computing Workflows in Heterogeneous Network Environments -- Radio Network Distributed Algorithms in the Unknown Neighborhood Model -- Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks -- A Token-Based Solution to the Group Mutual l-Exclusion Problem in Message Passing Distributed Systems -- Peer-to-Peer Networks and Network Tracing -- The Weak Network Tracing Problem -- Poisoning the Kad Network -- Credit Reputation Propagation: A Strategy to Curb Free-Riding in a Large BitTorrent Swarm -- Formal Understanding of the Emergence of Superpeer Networks: A Complex Network Approach -- Parallel and Distributed Systems -- Parallelization of the Lanczos Algorithm on Multi-core Platforms -- Supporting Malleability in Parallel Architectures with Dynamic CPUSETsMapping and Dynamic MPI -- Impact of Object Operations and Relationships on Concurrency Control in DOOS -- Causal Cycle Based Communication Pattern Matching -- Wireless Networks -- Channel Assignment in Virtual Cut-through Switching Based Wireless Mesh Networks -- Efficient Multi-hop Broadcasting in Wireless Networks Using k-Shortest Path Pruning -- Bandwidth Provisioning in Infrastructure-Based Wireless Networks Employing Directional Antennas -- ROTIO+: A Modified ROTIO for Nested Network Mobility -- Applications of Distributed Systems -- VirtualConnection: Opportunistic Networking for Web on Demand -- Video Surveillance with PTZ Cameras: The Problem of Maximizing Effective Monitoring Time -- DisClus: A Distributed Clustering Technique over High Resolution Satellite Data -- Performance Evaluation of a Wormhole-Routed Algorithm for Irregular Mesh NoC Interconnect -- Optical, Cellular and Mobile Ad Hoc Networks -- Dynamic Multipath Bandwidth Provisioning with Jitter, Throughput, SLA Constraints in MPLS over WDM Network -- Path Protection in Translucent WDM Optical Networks -- Post Deployment Planning of 3G Cellular Networks through Dual Homing of NodeBs -- K-Directory Community: Reliable Service Discovery in MANET -- Theory of Distributed Systems -- An Online, Derivative-Free Optimization Approach to Auto-tuning of Computing Systems -- Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability -- Hamiltonicity of a General OTIS Network -- Specifying Fault-Tolerance Using Split Precondition Logic -- Network Protocols -- Fast BGP Convergence Following Link/Router Failure -- On Using Network Tomography for Overlay Availability -- QoSBR: A Quality Based Routing Protocol for Wireless Mesh Networks -- An ACO Based Approach for Detection of an Optimal Attack Path in a Dynamic Environment. |
| Record Nr. | UNINA-9910484672003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Computing in Sensor Systems : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings / / edited by Bhaskar Krishnamachari, Subhash Suri, Wendi Heinzelman, Urbashi Mitra
| Distributed Computing in Sensor Systems : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings / / edited by Bhaskar Krishnamachari, Subhash Suri, Wendi Heinzelman, Urbashi Mitra |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 372 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer networks
Telecommunication Computers, Special purpose Electronic digital computers—Evaluation Algorithms Computer engineering Computer Communication Networks Communications Engineering, Networks Special Purpose and Application-Based Systems System Performance and Evaluation Computer Engineering and Networks |
| ISBN | 3-642-02085-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speed Dating Despite Jammers -- Fast Self-stabilization for Gradients -- Detection and Localization Sensor Assignment with Exact and Fuzzy Locations -- Minimum Variance Energy Allocation for a Solar-Powered Sensor System -- Optimal Rate Allocation of Compressed Data Streams in Multihop Sensor Networks -- Mote-Based Online Anomaly Detection Using Echo State Networks -- Adaptive In-Network Processing for Bandwidth and Energy Constrained Mission-Oriented Multi-hop Wireless Networks -- LazySync: A New Synchronization Scheme for Distributed Simulation of Sensor Networks -- Similarity Based Optimization for Multiple Query Processing in Wireless Sensor Networks -- Finding Symbolic Bug Patterns in Sensor Networks -- Distributed Continuous Action Recognition Using a Hidden Markov Model in Body Sensor Networks -- Online Coding for Reliable Data Transfer in Lossy Wireless Sensor Networks -- Compressed RF Tomography for Wireless Sensor Networks: Centralized and Decentralized Approaches -- Energy Adaptive Sensor Scheduling for Noisy Sensor Measurements -- Route in Mobile WSN and Get Self-deployment for Free -- A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones -- Empirical Evaluation of Wireless Underground-to-Underground Communication in Wireless Underground Sensor Networks -- Cheap or Flexible Sensor Coverage -- MCP: An Energy-Efficient Code Distribution Protocol for Multi-Application WSNs -- Optimal Allocation of Time-Resources for Multihypothesis Activity-Level Detection -- Distributed Computation of Likelihood Maps for Target Tracking -- Efficient Sensor Placement for Surveillance Problems -- Local Construction of Spanners in the 3-D Space -- Combining Positioning and Communication Using UWB Transceivers -- Distributed Generation of a Family of Connected Dominating Sets in Wireless Sensor Networks -- Performance of Bulk Data Dissemination in Wireless Sensor Networks. |
| Record Nr. | UNINA-9910483177503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
