Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers
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, robus...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
2874 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Global computing, programming environments, languages, security, and analysis of systems, IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, revised papers, Corrado Priami (ed.), Berlin, Springer, 2003, 1 vol. (XVIII-253 p.), Lecture notes in computer science, 3-540-20583-7 • Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, Texte imprimé, 9783662204498 |
| LEADER | 04470nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 948978 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155203436 | ||
| 020 | |a 9783540400424 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Global Computing |d (2003 |c :Rovereto, Italie). | |
| 245 | 1 | 0 | |a Global computing : |b programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers |c [edited by] Corrado Priami. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2874 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a UML for Global Computing -- Reflecting Mobile Ambients into the ?-Calculus -- Extensible Objects: A Tutorial -- The Klaim Project: Theory and Practice -- Ambient Calculi with Types: A Tutorial -- Facets of Security -- A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism -- Performance Evaluation for Global Computation. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 instance, the system is open to the introduction of new computational entities and likewise their deletion. The behavior of the entities may vary over time. The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. Theultimategoaloftheresearchactionistoprovideasolidscienti?cfoundation for the design of such systems, and to lay the groundwork for achieving e?ective principles for building and analyzing such systems. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 700 | 1 | |a Priami, Corrado. |4 pbd | |
| 776 | 0 | |0 075864584 |t Global computing |o programming environments, languages, security, and analysis of systems |o IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 |o revised papers |f Corrado Priami (ed.) |c Berlin |n Springer |d 2003 |p 1 vol. (XVIII-253 p.) |s Lecture notes in computer science |z 3-540-20583-7 | |
| 776 | 0 | |t Global Computing. Programming Environments, Languages, Security, and Analysis of Systems |b Texte imprimé |z 9783662204498 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b94264 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-06HBV6WM-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748054065 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b94264 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751505307 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b94264 |z Accès INSA CVL | |
| 997 | |0 948978 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||