๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal verification of context and situation models in pervasive computing

โœ Scribed by Boytsov, Andrey; Zaslavsky, Arkady

Book ID
120004014
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
899 KB
Volume
9
Category
Article
ISSN
1574-1192

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Perv
[Lecture Notes in Computer Science] Pervasive Computing Volume 5538 || Towards Ontology-Based Formal Verification Methods for Context Aware Systems
โœ Tokuda, Hideyuki; Beigl, Michael; Friday, Adrian; Brush, A. J. Bernheim; Tobe, Y ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 307 KB

This book constitutes the refereed proceedings of the 7th International Conference on Pervasive Computing, Pervasive 2009, held in Nara, Japan, in May 2009. The 20 revised full papers and 7 revised short papers presented were carefully reviewed and selected from 147 initial submissions. The papers a

[Lecture Notes in Computer Science] Inte
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Formal Modelling and Verification of Population Protocols
โœ Johnsen, Einar Broch; Petre, Luigia ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 313 KB

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T

[Lecture Notes in Computer Science] Perv
[Lecture Notes in Computer Science] Pervasive Computing Volume 3468 || A Formal Model of Obfuscation and Negotiation for Location Privacy
โœ Gellersen, Hans -W.; Want, Roy; Schmidt, Albrecht ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 334 KB

WelcometotheproceedingsofPervasive2005,The3rdInternationalConference on Pervasive Computing. We were honored to serve as chairs in this conference series, which was founded in 2002 and is now emerging as one of the most respected venues for publication of research on pervasive and ubiquitous c- puti

Mobile and Pervasive Computing in Constr
Mobile and Pervasive Computing in Construction (Anumba/Mobile and Pervasive Computing in Construction) || Mobile and Semantic Web-Based Delivery of Context-Aware Information and Services in Construction
โœ Anumba, Chimay J.; Wang, Xiangyu ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Wiley-Blackwell ๐ŸŒ English โš– 365 KB

This book offers a comprehensive reference volume to the use of mobile and pervasive computing in construction. Based on contributions from a mix of leading researchers and experts from academia and industry, it provides up-to-date insights into current research topics in this field as well as the l