Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers - Lecture Notes in Computer Science 3705 (Paperback)
  • Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers - Lecture Notes in Computer Science 3705 (Paperback)
zoom

Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers - Lecture Notes in Computer Science 3705 (Paperback)

(editor), (editor)
£67.99
Paperback 371 Pages / Published: 13/12/2005
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has recently emerged that aims at de?ning new models of computation based on code and data mobility over wide area networks with highly dynamic topologies, and that aims at providing infrastructures to s- port coordination and control ofcomponents originatig n fromdi?erent,possibly untrusted, sources.Trustworthyglobalcomputing aims at guaranteeingsafe and reliable network usage, also by providing tools and framework for reasoning about behavior and properties of applications. AnInternationalSymposiumonTrustworthyGlobalComputing(TGC2005), was held in Edinburgh, UK, April 7-9, 2005. The symposium contained pres- tations and discussions dealing with issues such as: - resource usage, - language-based security, - theories of trust and authentication, - privacy, reliability and business integrity, - access control and mechanisms for enforcing it, - models of interaction and dynamic components management, - language concepts and abstraction mechanisms, - test generators, symbolic interpreters, type checkers, - ?nite state model checkers, theorem provers, - software principles to support debugging and veri?cation.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540300076
Number of pages: 371
Weight: 1190 g
Dimensions: 235 x 155 x 20 mm
Edition: 2005 ed.

You may also be interested in...

Writing Effective Use Cases
Added to basket
The Agile Samurai
Added to basket
Art of Agile Development
Added to basket
Coaching Agile Teams
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Design Patterns
Added to basket
£43.99
Hardback
Peopleware
Added to basket
£32.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
The Mythical Man-Month
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
Implementing Domain-Driven Design
Added to basket
BDD in Action
Added to basket
Continuous Delivery
Added to basket
£43.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.