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.
Advances in Grid and Pervasive Computing [[electronic resource] ] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings / / edited by Nabil Abdennadher, Dana Petcu
| Advances in Grid and Pervasive Computing [[electronic resource] ] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings / / edited by Nabil Abdennadher, Dana Petcu |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 484 p.) |
| Disciplina | 004.36 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer engineering Artificial intelligence Software engineering Algorithms Information storage and retrieval systems Computer Communication Networks Computer Engineering and Networks Artificial Intelligence Software Engineering Information Storage and Retrieval |
| ISBN | 3-642-01671-5 |
| Classificazione |
DAT 250f
DAT 614f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Grid Economy -- Capacity Planning in Economic Grid Markets -- A Financial Option Based Grid Resources Pricing Model: Towards an Equilibrium between Service Quality for User and Profitability for Service Providers -- Negotiating and Enforcing QoS and SLAs in Grid and Cloud Computing -- Grid Security -- Dynamic and Secure Data Access Extensions of Grid Boundaries -- Proxy Restrictions for Grid Usage -- An Account Policy Model for Grid Environments -- Providing Security of Real Time Data Intensive Applications on Grids Using Dynamic Scheduling -- Grid Applications -- Solving a Realistic FAP Using GRASP and Grid Computing -- The Swiss ATLAS Grid -- Grid Based Training Environment for Earth Observation -- Middleware -- Improving Energy-Efficiency of Grid Computing Clusters -- GFS: A Distributed File System with Multi-source Data Access and Replication for Grid Computing -- G2G: A Meta-Grid Framework for the Convergence of P2P and Grids -- Distributed Asynchronous Iterative Algorithms: New Experimentations with the Jace Environment -- Predicting Free Computing Capacities on Individual Machines -- The Deployment and Maintenance of a Condor-Based Campus Grid -- Scheduling -- Bicriteria Service Scheduling with Dynamic Instantiation for Workflow Execution on Grids -- Ant Colony Inspired Microeconomic Based Resource Management in Ad Hoc Grids -- Dynamic Scheduling Algorithm for Heterogeneous Environments with Regular Task Input from Multiple Requests -- Balanced Scheduling Algorithm Considering Availability in Mobile Grid -- Bi-objective Optimization: An Online Algorithm for Job Assignment -- Achieving Co-allocation through Virtualization in Grid Environment -- Load Balancing -- MTS: Multiresolution Thread Selection for Parallel Workload Distribution -- The gLite Workload Management System -- On the Design of a Performance-Aware Load Balancing Mechanism for P2P Grid Systems -- Pervasive Computing -- A Mediation Framework for the Implementation of Context-Aware Access Control in Pervasive Grid-Based Healthcare Systems -- The Tiny Instrument Element -- ?OR – A Micro OWL DL Reasoner for Ambient Intelligent Devices -- Sensor Networks -- Sensor-Actuator Networks with TBox Snippets -- Prediction Based Mobile Data Aggregation in Wireless Sensor Network -- A Distributed Architecture of Sensing Web for Sharing Open Sensor Nodes -- Peer-to-Peer -- Efficient Parallelized Network Coding for P2P File Sharing Applications -- Scheduling Strategy of P2P Based High Performance Computing Platform Base on Session Time Prediction -- An Activeness-Based Seed Choking Algorithm for Enhancing BitTorrent’s Robustness -- Resource Aggregation Effectiveness in Peer-to-Peer Architectures -- Web Services for Deeply Embedded Extra Low-Cost Devices -- A Group-Based Reputation Mechanism for Mobile P2P Networks -- A Partition-Based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures -- Fault Tolerance -- Novel Crash Recovery Approach for Concurrent Failures in Cluster Federation -- JACEP2P-V2: A Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures -- Performance Evaluation of Scheduling Mechanism with Checkpoint Sharing and Task Duplication in P2P-Based PC Grid Computing -- A Probabilistic Fault-Tolerant Recovery Mechanism for Task and Result Certification of Large-Scale Distributed Applications. |
| Record Nr. | UNISA-996466016903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in grid and pervasive computing : 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / / Nabil Abdennadher, Dana Petcu (eds.)
| Advances in grid and pervasive computing : 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / / Nabil Abdennadher, Dana Petcu (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIV, 484 p.) |
| Disciplina | 004.36 |
| Altri autori (Persone) |
AbdennadherNabil
PetcuDana |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computational grids (Computer systems)
Ubiquitous computing |
| ISBN | 3-642-01671-5 |
| Classificazione |
DAT 250f
DAT 614f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Grid Economy -- Capacity Planning in Economic Grid Markets -- A Financial Option Based Grid Resources Pricing Model: Towards an Equilibrium between Service Quality for User and Profitability for Service Providers -- Negotiating and Enforcing QoS and SLAs in Grid and Cloud Computing -- Grid Security -- Dynamic and Secure Data Access Extensions of Grid Boundaries -- Proxy Restrictions for Grid Usage -- An Account Policy Model for Grid Environments -- Providing Security of Real Time Data Intensive Applications on Grids Using Dynamic Scheduling -- Grid Applications -- Solving a Realistic FAP Using GRASP and Grid Computing -- The Swiss ATLAS Grid -- Grid Based Training Environment for Earth Observation -- Middleware -- Improving Energy-Efficiency of Grid Computing Clusters -- GFS: A Distributed File System with Multi-source Data Access and Replication for Grid Computing -- G2G: A Meta-Grid Framework for the Convergence of P2P and Grids -- Distributed Asynchronous Iterative Algorithms: New Experimentations with the Jace Environment -- Predicting Free Computing Capacities on Individual Machines -- The Deployment and Maintenance of a Condor-Based Campus Grid -- Scheduling -- Bicriteria Service Scheduling with Dynamic Instantiation for Workflow Execution on Grids -- Ant Colony Inspired Microeconomic Based Resource Management in Ad Hoc Grids -- Dynamic Scheduling Algorithm for Heterogeneous Environments with Regular Task Input from Multiple Requests -- Balanced Scheduling Algorithm Considering Availability in Mobile Grid -- Bi-objective Optimization: An Online Algorithm for Job Assignment -- Achieving Co-allocation through Virtualization in Grid Environment -- Load Balancing -- MTS: Multiresolution Thread Selection for Parallel Workload Distribution -- The gLite Workload Management System -- On the Design of a Performance-Aware Load Balancing Mechanism for P2P Grid Systems -- Pervasive Computing -- A Mediation Framework for the Implementation of Context-Aware Access Control in Pervasive Grid-Based Healthcare Systems -- The Tiny Instrument Element -- ?OR – A Micro OWL DL Reasoner for Ambient Intelligent Devices -- Sensor Networks -- Sensor-Actuator Networks with TBox Snippets -- Prediction Based Mobile Data Aggregation in Wireless Sensor Network -- A Distributed Architecture of Sensing Web for Sharing Open Sensor Nodes -- Peer-to-Peer -- Efficient Parallelized Network Coding for P2P File Sharing Applications -- Scheduling Strategy of P2P Based High Performance Computing Platform Base on Session Time Prediction -- An Activeness-Based Seed Choking Algorithm for Enhancing BitTorrent’s Robustness -- Resource Aggregation Effectiveness in Peer-to-Peer Architectures -- Web Services for Deeply Embedded Extra Low-Cost Devices -- A Group-Based Reputation Mechanism for Mobile P2P Networks -- A Partition-Based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures -- Fault Tolerance -- Novel Crash Recovery Approach for Concurrent Failures in Cluster Federation -- JACEP2P-V2: A Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures -- Performance Evaluation of Scheduling Mechanism with Checkpoint Sharing and Task Duplication in P2P-Based PC Grid Computing -- A Probabilistic Fault-Tolerant Recovery Mechanism for Task and Result Certification of Large-Scale Distributed Applications. |
| Altri titoli varianti | GPC 2009 |
| Record Nr. | UNINA-9910483698903321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors)
| Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 247 p.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Computer software - Reliability |
| ISBN |
1-280-94397-1
9786610943975 3-540-73230-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler. |
| Record Nr. | UNINA-9910483920803321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors)
| Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 247 p.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Computer software - Reliability |
| ISBN |
1-280-94397-1
9786610943975 3-540-73230-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler. |
| Record Nr. | UNISA-996466254003316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||