Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science)

***

  • 出版商: Springer
  • 出版日期: 2007-12-20
  • 售價: $3,388
  • 貴賓價: 9.5$3,219
  • 語言: 英文
  • 頁數: 342
  • 裝訂: Paperback
  • ISBN: 3540753338
  • ISBN-13: 9783540753339
  • 相關分類: 計算機概論

下單後立即進貨 (1週~2週)

相關活動主題

20180806 35 %e9%87%91%e5%b1%ac%e6%9b%b8%e7%b1%a4small

商品描述

Description

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006.

The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

Written for:
Researchers and professionals
Keywords:
  • adaptive systems
  • anonymity
  • authentication
  • calculi
  • dependable computing
  • distributed computing
  • distributed systems
  • formal methods
  • global computing
  • graph transformation
  • mobile code
  • mobile computing
  • model checking
  • model transformation
  • model-based testing
  • model-driven architecture
  • model-driven development
  • privacy
  • reliable systems
  • security
  • self configuration
  • semantics
  • service oriented computing
  • software security
  • system verification
  • systems security
  • typechecking