Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009296090/catalog> ?p ?o. }

• catalog abstract "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.".
• catalog contributor b13119359.
• catalog contributor b13119360.
• catalog created "2003.".
• catalog date "2003".
• catalog date "2003.".
• catalog dateCopyrighted "2003.".
• catalog description "Includes bibliographical references and index.".
• catalog description "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.".
• catalog description "UML for Global Computing / Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens and Martin Wirsing -- Reflecting Mobile Ambients into the [pi]-Calculus / Linda Brodo, Pierpaolo Degano and Corrado Priami -- Extensible Objects: A Tutorial / Viviana Bono -- The Klaim Project: Theory and Practice / Lorenzo Bettini, Viviana Bono, 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.".
• catalog extent "xviii, 253 p. :".
• catalog identifier "3540205837 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2874".
• catalog issued "2003".
• catalog issued "2003.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005 22".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Operating systems (Computers).".
• catalog subject "QA76.6 G373 2003".
• catalog subject "Software engineering.".
• catalog tableOfContents "UML for Global Computing / Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens and Martin Wirsing -- Reflecting Mobile Ambients into the [pi]-Calculus / Linda Brodo, Pierpaolo Degano and Corrado Priami -- Extensible Objects: A Tutorial / Viviana Bono -- The Klaim Project: Theory and Practice / Lorenzo Bettini, Viviana Bono, 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.".
• catalog title "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.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".