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.
Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
| Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIII, 349 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer science Electronic digital computers—Evaluation Computers and civilization Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming System Performance and Evaluation Computers and Society |
| ISBN | 9783540319030 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography. |
| Record Nr. | UNISA-996465390203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
| Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIII, 349 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer science Electronic digital computers—Evaluation Computers and civilization Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming System Performance and Evaluation Computers and Society |
| ISBN | 9783540319030 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography. |
| Record Nr. | UNINA-9910483847203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
| Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago |
| Autore | Baier Christel |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 583 p. 75 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession Discrete Mathematics in Computer Science |
| ISBN | 3-319-89366-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. |
| Record Nr. | UNISA-996465597703316 |
Baier Christel
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
| Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago |
| Autore | Baier Christel |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 583 p. 75 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession Discrete Mathematics in Computer Science |
| ISBN | 3-319-89366-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. |
| Record Nr. | UNINA-9910293144603321 |
|
Baier Christel
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
| From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.) |
| Disciplina | 003 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation |
| ISBN | 3-030-31514-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. |
| Record Nr. | UNISA-996466439003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
| From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.) |
| Disciplina |
003
006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation |
| ISBN | 3-030-31514-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. |
| Record Nr. | UNINA-9910349279703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [[electronic resource] ] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso Denko, Ruppa K. Thulasiram, Laurence T. Yang
| Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [[electronic resource] ] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso Denko, Ruppa K. Thulasiram, Laurence T. Yang |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXIX, 538 p.) |
| Disciplina | 004.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Algorithms Application software Electronic digital computers—Evaluation Software engineering Computer Communication Networks Computer System Implementation Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| ISBN | 3-540-74767-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Security and Survivability in Distributed Sensor Networks -- To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment -- DoS Attack Mining in Sensor Node Replacement -- Secure Cluster Header Election Techniques in Sensor Network -- A Secure Data Aggregation Scheme for Wireless Sensor Networks -- A Key Revocation Scheme for Mobile Sensor Networks -- Workshop on Ubiquitous Processing for Wireless Networks -- Adaptive Binding Update Schemes in NEMO -- An Information Aggregation Scheme of Multi-node in Ubiquitous Sensor Networks -- QLP-LBS: Quantization and Location Prediction-Based LBS for Reduction of Location Update Costs -- Positioning System in Taipei Children’s Museum of Transportation and Communication -- Portable Patient Information Integration System for Patient Safety Improvement -- Secure Session Management Mechanism in VoIP Service -- An Effective Local Repair Scheme Using Candidate Node and Hello Message in AODV -- A Frame-Based Selective Encryption Method for Real Time Video Transmission on VoIP -- Workshop on Intelligent Systems and Smart Home -- ECG Anomaly Detection via Time Series Analysis -- Semantics-Based Event-Driven Web News Classification -- A Study on Application of Cyber Shopping Service with Utilization of Context Awareness in Smart Home Environment -- A Transparent Protocol Scheme Based on UPnP AV for Ubiquitous Home -- Learning Fuzzy Concept Hierarchy and Measurement with Node Labeling -- Prepositions and Conjunctions in a Natural Language Interfaces to Databases -- Zigbee Positioning System for Smart Home Application -- Solving Unbounded Knapsack Problem Using an Adaptive Genetic Algorithm with Elitism Strategy -- Automatic Lexico-Semantic Frames Acquisition from Syntactic Parsed Tree by Using Clustering and Combining Techniques -- Intelligent Home Network Authentication: S/Key-Based Home Device Authentication -- GA Based Optimal Keyword Extraction in an Automatic Chinese Web Document Classification System -- Design and Implementation of Context-Aware Security Management System for Ubiquitous Computing Environment -- Forward Secure Privacy Protection Scheme for RFID System Using Advanced Encryption Standard -- Workshop on Semantic and Grid Computing -- Polygon-Based Similarity Aggregation for Ontology Matching -- A User-Controlled VoiceXML Application Based on Dynamic Voice Anchor and Node -- Grid Computing in New York State, USA -- Workshop on Parallel and Distributed Multimedia Computing -- A Data Allocation Method for Efficient Content-Based Retrieval in Parallel Multimedia Databases -- Optimization of VoD Streaming Scheduling for IPTV Multi-channel Support -- Continuous Kernel-Based Outlier Detection over Distributed Data Streams -- A Resource Discovery and Allocation Mechanism in Large Computational Grids for Media Applications -- Impact of Dynamic Growing on the Internet Degree Distribution -- Simulation-Based Evaluation of Distributed Mesh Allocation Algorithms -- A New Method for Describing the Syntax and Semantics of VIEWCHARTS -- A New Formalism for Describing Concurrent Systems -- Distributed Multi-source Regular Path Queries -- Parallel Matrix Multiplication Based on Dynamic SMP Clusters in SoC Technology -- Multi-Agent Design of Urban Oriented Traffic Integration Control System -- Register File Management and Compiler Optimization on EDSMT -- Workshop on High Performance Computing in Medicine and Biology -- Services, Standards, and Technologies for High Performance Computational Proteomics -- High Throughput Protein Similarity Searches in the LIBI Grid Problem Solving Environment -- Grid and Distributed Public Computing Schemes for Structural Proteomics: A Short Overview -- Distributed Processing of Clinical Practice Data in Grid Environment for Pharmacotherapy Personalization and Evidence-Based Pharmacology -- Workshop on Intelligent Systems Techniques for Ad Hoc and Wireless Sensor Networks -- Fault Tolerance of Connectivity Performance in CDMA-Based Wireless Sensor Networks -- Lifetime Performance of an Energy Efficient Clustering Algorithm for Cluster-Based Wireless Sensor Networks -- Balancing Energy Dissipation in Clustered Wireless Sensor Networks -- Dynamic Key Management Schemes for Secure Group Communication Based on Hierarchical Clustering in Mobile AdHocNetworks -- Privacy Preserving Monitoring and Surveillance in Sensor Networks -- A Distributed Clustering Algorithm for Fault-Tolerant Event Region Detection in Wireless Sensor Networks -- Optimal Multicast Multichannel Routing in Computer Networks -- A Secure On-Demand Source Routing Scheme Using Hierarchical Clustering in Mobile Ad Hoc Networks -- A Hybrid Location-Semantic Approach to Routing Assisted by Agents in a Virtual Network. |
| Record Nr. | UNISA-996465925003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [[electronic resource] ] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso Denko, Ruppa K. Thulasiram, Laurence T. Yang
| Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [[electronic resource] ] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso Denko, Ruppa K. Thulasiram, Laurence T. Yang |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXIX, 538 p.) |
| Disciplina | 004.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Algorithms Application software Electronic digital computers—Evaluation Software engineering Computer Communication Networks Computer System Implementation Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| ISBN | 3-540-74767-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Security and Survivability in Distributed Sensor Networks -- To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment -- DoS Attack Mining in Sensor Node Replacement -- Secure Cluster Header Election Techniques in Sensor Network -- A Secure Data Aggregation Scheme for Wireless Sensor Networks -- A Key Revocation Scheme for Mobile Sensor Networks -- Workshop on Ubiquitous Processing for Wireless Networks -- Adaptive Binding Update Schemes in NEMO -- An Information Aggregation Scheme of Multi-node in Ubiquitous Sensor Networks -- QLP-LBS: Quantization and Location Prediction-Based LBS for Reduction of Location Update Costs -- Positioning System in Taipei Children’s Museum of Transportation and Communication -- Portable Patient Information Integration System for Patient Safety Improvement -- Secure Session Management Mechanism in VoIP Service -- An Effective Local Repair Scheme Using Candidate Node and Hello Message in AODV -- A Frame-Based Selective Encryption Method for Real Time Video Transmission on VoIP -- Workshop on Intelligent Systems and Smart Home -- ECG Anomaly Detection via Time Series Analysis -- Semantics-Based Event-Driven Web News Classification -- A Study on Application of Cyber Shopping Service with Utilization of Context Awareness in Smart Home Environment -- A Transparent Protocol Scheme Based on UPnP AV for Ubiquitous Home -- Learning Fuzzy Concept Hierarchy and Measurement with Node Labeling -- Prepositions and Conjunctions in a Natural Language Interfaces to Databases -- Zigbee Positioning System for Smart Home Application -- Solving Unbounded Knapsack Problem Using an Adaptive Genetic Algorithm with Elitism Strategy -- Automatic Lexico-Semantic Frames Acquisition from Syntactic Parsed Tree by Using Clustering and Combining Techniques -- Intelligent Home Network Authentication: S/Key-Based Home Device Authentication -- GA Based Optimal Keyword Extraction in an Automatic Chinese Web Document Classification System -- Design and Implementation of Context-Aware Security Management System for Ubiquitous Computing Environment -- Forward Secure Privacy Protection Scheme for RFID System Using Advanced Encryption Standard -- Workshop on Semantic and Grid Computing -- Polygon-Based Similarity Aggregation for Ontology Matching -- A User-Controlled VoiceXML Application Based on Dynamic Voice Anchor and Node -- Grid Computing in New York State, USA -- Workshop on Parallel and Distributed Multimedia Computing -- A Data Allocation Method for Efficient Content-Based Retrieval in Parallel Multimedia Databases -- Optimization of VoD Streaming Scheduling for IPTV Multi-channel Support -- Continuous Kernel-Based Outlier Detection over Distributed Data Streams -- A Resource Discovery and Allocation Mechanism in Large Computational Grids for Media Applications -- Impact of Dynamic Growing on the Internet Degree Distribution -- Simulation-Based Evaluation of Distributed Mesh Allocation Algorithms -- A New Method for Describing the Syntax and Semantics of VIEWCHARTS -- A New Formalism for Describing Concurrent Systems -- Distributed Multi-source Regular Path Queries -- Parallel Matrix Multiplication Based on Dynamic SMP Clusters in SoC Technology -- Multi-Agent Design of Urban Oriented Traffic Integration Control System -- Register File Management and Compiler Optimization on EDSMT -- Workshop on High Performance Computing in Medicine and Biology -- Services, Standards, and Technologies for High Performance Computational Proteomics -- High Throughput Protein Similarity Searches in the LIBI Grid Problem Solving Environment -- Grid and Distributed Public Computing Schemes for Structural Proteomics: A Short Overview -- Distributed Processing of Clinical Practice Data in Grid Environment for Pharmacotherapy Personalization and Evidence-Based Pharmacology -- Workshop on Intelligent Systems Techniques for Ad Hoc and Wireless Sensor Networks -- Fault Tolerance of Connectivity Performance in CDMA-Based Wireless Sensor Networks -- Lifetime Performance of an Energy Efficient Clustering Algorithm for Cluster-Based Wireless Sensor Networks -- Balancing Energy Dissipation in Clustered Wireless Sensor Networks -- Dynamic Key Management Schemes for Secure Group Communication Based on Hierarchical Clustering in Mobile AdHocNetworks -- Privacy Preserving Monitoring and Surveillance in Sensor Networks -- A Distributed Clustering Algorithm for Fault-Tolerant Event Region Detection in Wireless Sensor Networks -- Optimal Multicast Multichannel Routing in Computer Networks -- A Secure On-Demand Source Routing Scheme Using Hierarchical Clustering in Mobile Ad Hoc Networks -- A Hybrid Location-Semantic Approach to Routing Assisted by Agents in a Virtual Network. |
| Record Nr. | UNINA-9910484420403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops [[electronic resource] ] : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / / edited by Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo, Gudula Ruenger
| Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops [[electronic resource] ] : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / / edited by Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo, Gudula Ruenger |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XXXVII, 1144 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| ISBN | 3-540-49862-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | FHPCN 2006 Workshop -- XHPC 2006 Workshop -- S-GRACE 2006 Workshop -- GridGIS 2006 Workshop -- HPC-GTP 2006 Workshop -- PDCE 2006 Workshop -- ParDMCom 2006 Workshop -- WOMP 2006 Workshop -- ISDF 2006 Workshop -- UPWN 2006 Workshop. |
| Record Nr. | UNISA-996466131003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / / edited by Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo, Gudula Ruenger
| Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / / edited by Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo, Gudula Ruenger |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XXXVII, 1144 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| ISBN | 3-540-49862-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | FHPCN 2006 Workshop -- XHPC 2006 Workshop -- S-GRACE 2006 Workshop -- GridGIS 2006 Workshop -- HPC-GTP 2006 Workshop -- PDCE 2006 Workshop -- ParDMCom 2006 Workshop -- WOMP 2006 Workshop -- ISDF 2006 Workshop -- UPWN 2006 Workshop. |
| Record Nr. | UNINA-9910484019203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
