LEADER 05312nam 22007815 450 001 996465817703316 005 20200702164853.0 010 $a3-540-40042-7 024 7 $a10.1007/b94264 035 $a(CKB)1000000000212255 035 $a(SSID)ssj0000323553 035 $a(PQKBManifestationID)11272583 035 $a(PQKBTitleCode)TC0000323553 035 $a(PQKBWorkID)10300335 035 $a(PQKB)10278471 035 $a(DE-He213)978-3-540-40042-4 035 $a(MiAaPQ)EBC3088189 035 $a(PPN)155203436 035 $a(EXLCZ)991000000000212255 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGlobal Computing. Programming Environments, Languages, Security, and Analysis of Systems$b[electronic resource] $eIST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /$fedited by Corrado Priami 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XVIII, 253 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2874 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20583-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aUML 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. 330 $aThe 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2874 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aOperating systems (Computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aOperating systems (Computers). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aOperating Systems. 676 $a005 702 $aPriami$b Corrado$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aGC 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465817703316 996 $aGlobal Computing. Programming Environments, Languages, Security, and Analysis of Systems$92220155 997 $aUNISA