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 Methods for Mobile Computing [[electronic resource] ] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / / edited by Marco Bernardo, Alessandro Bogliolo
| Formal Methods for Mobile Computing [[electronic resource] ] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / / edited by Marco Bernardo, Alessandro Bogliolo |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.13/1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Software engineering Programming languages (Electronic computers) Computer logic Special purpose computers Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Strategies Within the IEEE 802.11 Standard -- Middleware Support -- Network Swapping -- Hermes: Agent-Based Middleware for Mobile Computing. |
| Record Nr. | UNISA-996465803903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures / / Marco Bernardo, Alessandro Bogliolo (eds.)
| Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures / / Marco Bernardo, Alessandro Bogliolo (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.13/1 |
| Altri autori (Persone) |
BernardoMarco
BoglioloAlessandro |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Formal methods (Computer science)
Mobile computing Computer software System design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Strategies Within the IEEE 802.11 Standard -- Middleware Support -- Network Swapping -- Hermes: Agent-Based Middleware for Mobile Computing. |
| Altri titoli varianti |
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005
SFM-Moby 2005 |
| Record Nr. | UNINA-9910483193503321 |
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
User-Centric Networking : Future Perspectives / / edited by Alessandro Aldini, Alessandro Bogliolo
| User-Centric Networking : Future Perspectives / / edited by Alessandro Aldini, Alessandro Bogliolo |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (361 p.) |
| Disciplina | 004.68 |
| Collana | Lecture Notes in Social Networks |
| Soggetto topico |
Computer organization
Computational complexity Economic policy Computer communication systems Electrical engineering Computer Systems Organization and Communication Networks Complexity R & D/Technology Policy Computer Communication Networks Communications Engineering, Networks |
| ISBN | 3-319-05218-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: User-Centric Environments -- User-Centric Networking: Bringing the Home Network to the Core -- User-Centric Networking: Living-Examples and Challenges Ahead -- User-Centric Networking: Routing Aspects -- Part II: Trust Management and Cooperation Incentives -- Trust Management Support for Context-Aware Service Platforms -- Trust Management in ULOOP -- Designing a Trust-Based Virtual Currency System for User-Centric Networks: the ULOOP Case -- Part III: Resource Management in User-Centric Environments -- Cooperative Networking in User-Centric Wireless Networks -- Trust as a Fairness Parameter for Quality of Experience in Wireless Networks -- Cooperative Relaying in User-Centric Wireless Networks -- Resource Allocation in User-Centric Wireless Networks -- Autonomous Resource Allocation and Strategy Optimization in Wireless Networks -- An Autonomous Load Balancing Framework for UCN -- Part IV: Mobility in User-Centric Environments -- Mobility Support in User-Centric Networks -- Mobility Estimation in the Context of Distributed Mobility Management; R. Sofia et al -- Mobility Management in ULOOP -- Part V: Market Perspective -- Market Analysis and Exploitation -- ULOOP Business Case Study. |
| Record Nr. | UNINA-9910298561203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||