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.
ACM/IFIP/USENIX Middleware 2016 : December 12-16, 2016, Trento, Italy / / general chair, Gian Pietro Picco
| ACM/IFIP/USENIX Middleware 2016 : December 12-16, 2016, Trento, Italy / / general chair, Gian Pietro Picco |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (280 pages) |
| Disciplina | 005.713 |
| Soggetto topico |
Middleware
Electronic data processing - Distributed processing |
| ISBN | 1-4503-4300-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 17th International Middleware Conference
Middleware '16 : 17th International Middleware Conference : Trento, Italy, December 12-16, 2016 |
| Record Nr. | UNINA-9910376444203321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco
| Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 004/.35 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Computers Artificial intelligence Software Engineering Computer Communication Networks Programming Techniques Computation by Abstract Devices Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space -- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach -- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision -- Global Computing in a Dynamic Network of Tuple Spaces -- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems -- Preserving Architectural Properties in Multithreaded Code Generation -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications -- Tagged Sets: A Secure and Transparent Coordination Medium -- Time-Aware Coordination in ReSpecT -- Transactional Aspects in Semantic Based Discovery of Services. |
| Record Nr. | UNINA-9910484811003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco
| Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 004/.35 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Computers Artificial intelligence Software Engineering Computer Communication Networks Programming Techniques Computation by Abstract Devices Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space -- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach -- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision -- Global Computing in a Dynamic Network of Tuple Spaces -- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems -- Preserving Architectural Properties in Multithreaded Code Generation -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications -- Tagged Sets: A Secure and Transparent Coordination Medium -- Time-Aware Coordination in ReSpecT -- Transactional Aspects in Semantic Based Discovery of Services. |
| Record Nr. | UNISA-996465802303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mobile Agents [[electronic resource] ] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / / edited by Gian P. Picco
| Mobile Agents [[electronic resource] ] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / / edited by Gian P. Picco |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 284 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer hardware
Artificial intelligence Computer communication systems Computer programming Software engineering Operating systems (Computers) Computer Hardware Artificial Intelligence Computer Communication Networks Programming Techniques Software Engineering Operating Systems |
| ISBN | 3-540-45647-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security -- On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection -- Trust Relationships in a Mobile Agent System -- Evaluating the Security of Three Java-Based Mobile Agent Systems -- Models and Architectures -- Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study -- Lime Revisited -- Dynamic Adaptation of Mobile Agents in Heterogenous Environments -- Applications -- Fast File Access for Fast Agents -- Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers -- Crawlets: Agents for High Performance Web Search Engines -- Communication -- An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems -- Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment -- A Scalable and Secure Global Tracking Service for Mobile Agents -- Run-Time Support -- Translating Strong Mobility into Weak Mobility -- Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture -- Portable Resource Reification in Java-Based Mobile Agent Systems -- Quantitative Evaluation and Benchmarking -- Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task -- Performance Evaluation of Mobile-Agent Middleware: A Hierarchical Approach -- Scheduling Multi-task Agents. |
| Record Nr. | UNINA-9910143921503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mobile Agents [[electronic resource] ] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / / edited by Gian P. Picco
| Mobile Agents [[electronic resource] ] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / / edited by Gian P. Picco |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 284 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer hardware
Artificial intelligence Computer communication systems Computer programming Software engineering Operating systems (Computers) Computer Hardware Artificial Intelligence Computer Communication Networks Programming Techniques Software Engineering Operating Systems |
| ISBN | 3-540-45647-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security -- On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection -- Trust Relationships in a Mobile Agent System -- Evaluating the Security of Three Java-Based Mobile Agent Systems -- Models and Architectures -- Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study -- Lime Revisited -- Dynamic Adaptation of Mobile Agents in Heterogenous Environments -- Applications -- Fast File Access for Fast Agents -- Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers -- Crawlets: Agents for High Performance Web Search Engines -- Communication -- An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems -- Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment -- A Scalable and Secure Global Tracking Service for Mobile Agents -- Run-Time Support -- Translating Strong Mobility into Weak Mobility -- Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture -- Portable Resource Reification in Java-Based Mobile Agent Systems -- Quantitative Evaluation and Benchmarking -- Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task -- Performance Evaluation of Mobile-Agent Middleware: A Hierarchical Approach -- Scheduling Multi-task Agents. |
| Record Nr. | UNISA-996465666603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Wireless Sensor Networks [[electronic resource] ] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012, Proceedings / / edited by Gian Pietro Picco, Wendi Heinzelman
| Wireless Sensor Networks [[electronic resource] ] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012, Proceedings / / edited by Gian Pietro Picco, Wendi Heinzelman |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 261 p. 132 illus.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Algorithms Computer programming Software engineering Application software Computer simulation Computer Communication Networks Algorithm Analysis and Problem Complexity Programming Techniques Software Engineering Information Systems Applications (incl. Internet) Simulation and Modeling |
| ISBN | 3-642-28169-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465873103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||