Filter by
Coordination Models and Languages
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. Th…
- Edition
- -
- ISBN/ISSN
- 9783319192826
- Collation
- xiv, 247 pages
- Series Title
- -
- Call Number
- 005.1
A Formal Theory of Commonsense Psychology
Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represen…
- Edition
- -
- ISBN/ISSN
- 9781316584705
- Collation
- -
- Series Title
- -
- Call Number
- -
Environmental Software Systems. Infrastructures, Services and Applications 1…
This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semanti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15994-2
- Collation
- 206 illustrations in colour
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, …
Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014. The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchan…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27998-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust, Privacy and Security in Digital Business 12th International Conferenc…
This book constitutes the refereed proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2015, held in Valencia, Spain, in September 2015 in conjunction with DEXA 2015. The 17 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: access control; t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22906-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust and Trustworthy Computing 8th International Conference, TRUST 2015, He…
This book constitutes the refereed proceedings of the 8th International Conference on Trust and Trustworthy Computing, TRUST 2015, held in Heraklion, Crete, Greece, in August 2015. The 15 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections named: hardware-enhanced trusted execution; trust an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22846-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015,…
This book constitutes the refereed proceedings of the 9th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2015, held in Hamburg, Germany, in May 2015. The 10 revised full papers and 5 short papers presented were carefully reviewed and selected from 28 submissions. In addition, the book contains one invited paper and 5 papers from a special session on trusted cloud ecosystems.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18491-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Information Technologies and Mathematical Modelling - Queueing Theory and App…
This book constitutes the refereed proceedings fo the 14th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A. F. Terpugov, ITMM 2015, held in Anzhero-Sudzhensk, Russia, in November 2015. The 35 full papers included in this volume were carefully reviewed and selected from 89 submissions. They are devoted to new results in the queueing the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25860-7
- Collation
- IX, 433
- Series Title
- -
- Call Number
- -
Counterterrorism and Cybersecurity Total Information Awareness
From 9/11 to Charlie Hebdo along with Sony-pocalypse and DARPA's $2 million Cyber Grand Challenge, this book examines counterterrorism and cyber security history, strategies and technologies from a thought-provoking approach that encompasses personal experiences, investigative journalism, historical and current events, ideas from thought leaders and the make-believe of Hollywood such as 24, Hom…
- Edition
- -
- ISBN/ISSN
- 9783319172446
- Collation
- -
- Series Title
- -
- Call Number
- 004.6
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography