𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 5497 || A Framework for the Analysis of Access Control Models for Interactive Mobile Devices

✍ Scribed by Berardi, Stefano; Damiani, Ferruccio; de’Liguoro, Ugo

Book ID
120375656
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
230 KB
Category
Article
ISBN
3642024440

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Univ
[Lecture Notes in Computer Science] Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments Volume 5615 || A Modelling Framework for Ambient Assisted Living Validation
✍ Stephanidis, Constantine 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 515 KB

The 13th International Conference On Human–computer Interaction, Hci Inter- Tional 2009, Was Held In San Diego, California, Usa, July 19–24, 2009, Jointly With The Symposium On Human Interface (japan) 2009, The 8th International Conference On Engineering Psychology And Cognitive Ergonomics, The 5th

[Lecture Notes of the Institute for Comp
[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Access Networks Volume 63 || A Fast and Simple Scheme for Mobile Station-Controlled Handover in Mobile WiMAX
✍ Szabó, Róbert; Zhu, Hua; Imre, Sándor; Chaparadza, Ranganai 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 463 KB

This book constitutes the reviewed post-proceedings of the 5th International ICST Conference on Access Networks, AccessNets 2010, and of the satellite event , the First International ICST Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, held jointly in Bud