Filter by
Enhanced Building Information Models Using IoT Services and Integration Patt…
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21825-0
- Collation
- 56 b/w illustrations
- Series Title
- -
- Call Number
- -
Engineering the Web in the Big Data Era 15th International Conference, ICWE …
This book constitutes the refereed proceedings of the 15th International Conference on Web Engineering, ICWE 2015, held in Rotterdam, The Netherlands, in June 2015. The 26 full research papers, 11 short papers, 7 industry papers, 11 demonstrations, 6 posters and 4 contributions to the PhD symposium presented were carefully reviewed and selected from 100 submissions. Moreover 2 tutorials are …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19890-3
- Collation
- 225 b/w illustrations
- Series Title
- -
- Call Number
- -
Engineering Secure Software and Systems 7th International Symposium, ESSoS 2…
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measuremen…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15618-7
- Collation
- 63 b/w illustrations
- Series Title
- -
- Call Number
- -
Energy Minimization Methods in Computer Vision and Pattern Recognition 10th …
This volume constitutes the refereed proceedings of the 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2015, held in Hong Kong, China, in January 2015. The 36 revised full papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on discrete and continuous optimization; image re…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14612-6
- Collation
- 179 b/w illustrations
- Series Title
- -
- Call Number
- -
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain…
This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015. The 10 full papers and 13 short papers were presented at the event. Additionally, the volume contains 2 keynote speeches, 3 doctoral consortia papers, 1 workshop paper and 6 EUD-playground papers. The papers provide a broad overview of the c…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18425-8
- Collation
- 64 b/w illustrations
- Series Title
- -
- Call Number
- -
Networked Systems
This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorith…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26849-1
- Collation
- XXVIII, 526
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Multiple Access Communications:8th International Workshop, MACOM 2015, Helsin…
This book constitutes the refereed proceedings of the 8th International Workshop on Multiple Access Communications, MACOM 2015, held in Helsinki, Finland, in September 2015. The 12 full papers presented were carefully reviewed and selected from 18 submissions. They describe the latest advancements in the field of multiple access communications with an emphasis on wireless sensor networks; ph…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23439-7
- Collation
- X, 159
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Multilevel Business Processes
Christoph G. Schuetz is a postdoctoral researcher at the Department of Business Informatics – Data & Knowledge Engineering of the Johannes Kepler University Linz, Austria. His research interests include data warehousing, semantic web, business process management, and data privacy.
- Edition
- 1
- ISBN/ISSN
- 978-3-658-11083-3
- Collation
- XXIV, 232
- Series Title
- -
- Call Number
- -
Mobile, Secure, and Programmable Networking
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They discuss new trends in networking infrastructures, security, services and applications …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25743-3
- Collation
- X, 177
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography