00547nam##22001337##450#99105515540033219788857505671########d########u##y0engy50####ba########00###La scienza e l'idea di ragione : scienza, filosofia e religione da Galileo ai buchi neri e oltre / Paolo Musso ; prefazione di Evandro Agazzi.Musso, Paolo, 1964-.1702889910551554003321La scienza e l'idea di ragione : scienza, filosofia e religione da Galileo ai buchi neri e oltre2434792UNINA07320nam 22008655 450 99646570520331620200706235627.01-280-39009-397866135680143-642-16576-110.1007/978-3-642-16576-4(CKB)2550000000019906(SSID)ssj0000446326(PQKBManifestationID)11293850(PQKBTitleCode)TC0000446326(PQKBWorkID)10491958(PQKB)10789184(DE-He213)978-3-642-16576-4(MiAaPQ)EBC3066063(PPN)149029810(EXLCZ)99255000000001990620101030d2010 u| 0engurnn#008mamaatxtccrAutonomic and Trusted Computing[electronic resource] 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings /edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XVII, 328 p. 112 illus.)Programming and Software Engineering ;6407Bibliographic Level Mode of Issuance: Monograph3-642-16575-3 Includes bibliographical references and index.Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems -- On-Line Adaptive Algorithms in Autonomic Restart Control -- Designing Self-healing in Automotive Systems -- Trustworthy Organic Computing Systems: Challenges and Perspectives -- AC/OC Network and Protocol -- Adaptive Control of Sensor Networks -- Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service -- Trust Models and Application -- Effects of Displaying Trust Information on Mobile Application Usage -- Context Based Trust Normalization in Service-Oriented Environments -- A Framework for Trust Enabled Software Asset Retrieval -- Opportunistic Trust Based P2P Services Framework for Disconnected MANETs -- A Risk-Aware Resource Service Decision Strategy for Global Computing -- Trustworthy Computing -- Message Race Detection for Web Services by an SMT-Based Analysis -- A User-Oriented Approach to Assessing Web Service Trustworthiness -- Improving the Trustworthiness of Service QoS Information in Service-Based Systems -- Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software -- The Testing Method for Interface Customized Component -- Trust-Related Security -- A New Monitor Model for Enhancing Trust-Based Systems -- Design and Analysis of “Flexible” k-out-of-n Signatures -- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints -- Invited Session -- Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture -- Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace -- On Alleviating Reader Collisions Towards High Efficient RFID Systems.Computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have become - creasingly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-* properties to the maximum extent possible without human intervention or guidance. Organic computing (OC) additionally addresses adaptability, robustness, and c- trolled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/ trustworthy computing (TC) aims at making computing and communication systems––as well as services––available, predictable, traceable, controllable, asse- able, sustainable, dependable, persistent, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic s- tems with truly trustworthy services. Started in 2005, ATC conferences have been held at Nagasaki (Japan), Vienna (Austria), Three Gorges (China), Hong Kong (China), Oslo (Norway) and Brisbane (Australia). The 2010 proceedings contain the papers presented at the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), held in Xi’an, China, October 26–29, 2010.Programming and Software Engineering ;6407Computer securitySoftware engineeringComputer communication systemsData encryption (Computer science)Application softwareManagement information systemsComputer scienceSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer security.Software engineering.Computer communication systems.Data encryption (Computer science).Application software.Management information systems.Computer science.Systems and Data Security.Software Engineering.Computer Communication Networks.Cryptology.Information Systems Applications (incl. Internet).Management of Computing and Information Systems.005.8Xie Bingedthttp://id.loc.gov/vocabulary/relators/edtBranke Juergenedthttp://id.loc.gov/vocabulary/relators/edtSadjadi S. Masoudedthttp://id.loc.gov/vocabulary/relators/edtZhang Daqingedthttp://id.loc.gov/vocabulary/relators/edtZhou Xingsheedthttp://id.loc.gov/vocabulary/relators/edtATC (Conference)BOOK996465705203316Autonomic and Trusted Computing773129UNISA01019nam a22002651i 450099100185022970753620031229092116.0040407s1973 it a||||||||||||||||ita b12832777-39ule_instARCHE-081239ExLDip.to Scienze StoricheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.728Samonà, Giuseppe35862La casa popolare degli anni '30 /Giuseppe Samonà ; a cura di Mario Manieri-EliaVenezia ;Padova :Marsilio,1973XXXIV, 189 p. :ill. ;21 cmPolis ;13Case popolariArchitettura1930-1935Manieri Elia, Mario.b1283277702-04-1416-04-04991001850229707536LE009 GEOG.13-30012009000395206le009-E0.00-no 01210.i1338511216-04-04Casa popolare degli anni '30296929UNISALENTOle00916-04-04ma -itait 31