Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

>> Google Books

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / edited by Corrado Priami

版:

1st ed. 2003

資料種別:

電子ブック

形態:

XVIII, 253 p.

シリーズ名:

Lecture Notes in Computer Science ; 2874

著者名:

ISBN:

9783540400424 [3540400427]
9783662204498 [3662204495]
9783540205838 [3540205837]

書誌ID:

EB00004443

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes,andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself.Completelydi?erentparadigms of computer science may have to be developed to tackle these issues e?ectively. The research should concentrate on systems having the following characteristics: – The systems are composed of autonomous computational entities where - tivity is not centrally controlled, either because global control is impossible or impractical, or because the entities are controlled by di?erent owners. – The computational entities are mobile, due to the movement of the physical platforms or movement of the entity from one platform to another. – The con?guration varies over time. For

主題:

Compilers and Interpreters; Computer Communication Networks; Operating Systems; Programming Techniques; Software Engineering

目次情報:

UML for Global Computing / Hubert Baumeister ; Nora Koch ; Piotr Kosiuczenko ; Perdita Stevens ; and Martin Wirsing

Reflecting Mobile Ambients into the p-Calculus / Linda Brodo ; Pierpaolo Degano ; and Corrado Priami

Extensible Objects: A Tutorial / Viviana Bono

The Klaim Project: Theory and Practice / Lorenzo Bettini ; Rocco De Nicola ; Gianluigi Ferrari ; Daniele Gorla ; Michele Loreti ; Eugenio Moggi ; Rosario Pugliese ; Emilio Tuosto ; and Betti Venneri

Ambient Calculi with Types: A Tutorial / Elio Giovannetti

Facets of Security / Dieter Gollmann

A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism / Alessandro Aldini ; Roberto Gorrieri

Performance Evaluation for Global Computation / Stephen Gilmore ; Jane Hillston ; Corrado Priami

Author Index

UML for Global Computing / Hubert Baumeister ; Nora Koch ; Piotr Kosiuczenko ; Perdita Stevens ; and Martin Wirsing

Reflecting Mobile Ambients into the p-Calculus / Linda Brodo ; Pierpaolo Degano ; and Corrado Priami

Extensible Objects: A Tutorial / Viviana Bono

The Klaim Project: Theory and Practice / Lorenzo Bettini ; Rocco De Nicola ; Gianluigi Ferrari ; Daniele Gorla ; Michele Loreti ; Eugenio Moggi ; Rosario Pugliese ; Emilio Tuosto ; and Betti Venneri

Ambient Calculi with Types: A Tutorial / Elio Giovannetti

Facets of Security / Dieter Gollmann

続きを見る

ブックレビュー

類似資料:

1 電子ブック Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers Priami, Corrado., Quaglia, Paola., SpringerLink (Online service)	7 電子ブック Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June … Strohmeier, Alfred., SpringerLink (Online service)
2 図書 Global computing : programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February … International Workshop on Global Computing, Priami, Corrado Springer	8 電子ブック Engineering Distributed Objects : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers Emmerich, Wolfgang., Tai, Stefan., SpringerLink (Online service)
3 電子ブック Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers De Nicola, Rocco., Sangiorgi, Davide., SpringerLink (Online service)	9 電子ブック Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, … Najm, Elie., Nestmann, Uwe., Stevens, Perdita., SpringerLink (Online service)
4 電子ブック Grid Computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers Fernández Rivera, Francisco., Bubak, Marian., Gómez Tato, Andrés., Doallo, Ramón., SpringerLink (Online service)	10 電子ブック Coordination Languages and Models : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings Ciancarini, Paolo., Wolf, Alexander L., SpringerLink (Online service)
5 電子ブック Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings Krall, Andreas., SpringerLink (Online service)	11 電子ブック Compiler Optimizations for Scalable Parallel Systems : Languages, Compilation Techniques, and Run Time Systems Pande, Santosh., Agrawal, Dharma P., SpringerLink (Online service)
6 電子ブック Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings Böszörményi, László., Schojer, Peter., SpringerLink (Online service)	12 電子ブック Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings De Nicola, Rocco., Ferrari, Gianluigi., Meredith, Greg., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12