03833nam 2200745Ia 450 991078414390332120220323212423.066105051011-280-50510-997866105051041-4237-9742-61-60750-147-3600-00-0603-91-60129-127-2(CKB)1000000000340203(EBL)265966(OCoLC)191037906(SSID)ssj0000267096(PQKBManifestationID)11226127(PQKBTitleCode)TC0000267096(PQKBWorkID)10332835(PQKB)11071143(MiAaPQ)EBC265966(Au-PeEL)EBL265966(CaPaEBR)ebr10130654(CaONFJC)MIL50510(OCoLC)71251545(EXLCZ)99100000000034020320060407d2006 uy 0engur|n|---|||||txtccrVerification of infinite-state systems with applications to security[electronic resource] /edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu ŢipleaAmsterdam ;Washington, D.C. IOS Pressc20061 online resource (244 p.)NATO security through science series. D, Information and communication security ;vol. 1Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.1-58603-570-3 Includes bibliographical references and author index.Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be FragileFrom Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author IndexProvides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.NATO security through science series.D,Information and communication security ;v. 1.System theoryMathematical modelsCongressesSystem theorySecurity measuresCongressesComputer securityCongressesComputer softwareVerificationCongressesSystem theoryMathematical modelsSystem theorySecurity measuresComputer securityComputer softwareVerification005.8Clarke Edmund M.Jr.(Edmund Melson),1945-2020.67498Minea Marius1514192Ţiplea Ferucio Laurenţiu1514193NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security(2005 March 17-22 :Timaşoara, Romania)MiAaPQMiAaPQMiAaPQBOOK9910784143903321Verification of infinite-state systems with applications to security3749154UNINA05827nam 2200769 450 991079721040332120240102112720.01-4985-0351-9(CKB)3710000000444153(EBL)2089519(SSID)ssj0001516894(PQKBManifestationID)12561301(PQKBTitleCode)TC0001516894(PQKBWorkID)11500669(PQKB)10541130(MiAaPQ)EBC2089519(Au-PeEL)EBL2089519(CaPaEBR)ebr11077206(CaONFJC)MIL811822(OCoLC)913785031(EXLCZ)99371000000044415320150724h20152015 uy 0engur|||||||||||txtccrCulture matters in Russia-and everywhere backdrop for the Russia-Ukraine conflict /Lanham, Maryland Lexington Books20151 online resource (583 p.)Description based upon print version of record.Includes bibliographical references and index.Contents; PART I. INTRODUCTION; Chapter 1. Introduction to the Moscow Symposium Collection; Chapter 2. Transformation of Countries in Transition: Culture and the State; PART II. REGIONAL/CIVILIZATIONAL/NATIONAL CULTURES; Chapter 3. European Culture: What It Was, Where It Is Going; Chapter 4. Quo Vadis, Latin America? Four Cultural Obstacles to Economic Development; Chapter 5. Janus in Latin America; Chapter 6. How Can African Culture Capital Prosper?; Chapter 7. India: Cultural Stability and Long Run Economic PerformanceChapter 8. China's Quest for a New Cultural Identity from a Confucian Humanistic PerspectiveChapter 9. Economic and Political Development in Slovenia: Betwixt and Between Europe and the Balkans; PART III. RELIGIONS AND DEVELOPMENT; Chapter 10. Contemporary Russian Orthodoxy: From the Social Paradoxes to the Cultural Model; Chapter 11. Religious Affiliation and Individual Economic and Political Attitudes in Ukraine; Chapter 12. The Cultural Revolution in the Islamic World and What It Means for the Future of Muslim SocietiesChapter 13. "Creation Theology" in Economics: Several Catholic TraditionsChapter 14. Fight Ethos versus Work Ethos: The Role of the Catholic Church in Fostering Pro-Development Values in Poland; Chapter 15. Holy Ghost Fire! Pentecostal Religious Culture in Africa; PART IV. CULTURE'S INFLUENCE ON ECONOMIC VARIABLES; Chapter 16. The Role of Culture in Understanding the Process of Economic and Social Change; Chapter 17. Culture, Cooperation, and Repeated Games; Chapter 18. The Effect of Culture on the Functioning of Institutions: Evidence from European RegionsChapter 19. Culture and Economic Growth: Getting the Theory RightChapter 20. An Appraisal of the Cultural Change Institute Factors Typology; PART V. CULTURE, PSYCHOLOGY, AND ECONOMICS; Chapter 21. Cultural Values Influence and Constrain Economic and Social Change; Chapter 22. Cognition East and West: Fundamental Differences in Reasoning and Perception; Chapter 23. American Culture and the 2008 Financial Crisis; Chapter 24. Culture of Horizontality and Personal Autonomy: A Humanistic Approach to Culture Change; PART VI. MEASURING CULTURE AND CULTURAL CHANGEChapter 25. Measuring Culture and Cultural Change: An IntroductionChapter 26. Measuring Cultural Capital and Change: Axiological Diagnosis; Chapter 27. Trust and Cultural Changes in Argentina: A Latin American Comparison; PART VII. THE RUSSIAN CASE; Chapter 28. The Economic Wonder: Market and Culture; Chapter 29. "All Are Guilty, Which Means That Nobody Is!": Continuing the Talk on Progress in Russian Culture; Chapter 30. Basic Human Values of the Russians: Different from and Similar to Other Europeans; Chapter 31. Socio-Cultural Modernization in Russia: Norms and Values System ShiftPART VIII. PROMOTING PROGRESSIVE CULTURAL CHANGECulture Matters in Russia-and Everywhere discusses modernization, democratization, and economic and political reforms in Russia, and elsewhere, and asserts that these reforms can be accomplished through the reframing of cultural values, attitudes, and institutions. The contributors-who include three Nobel Laureates-strive to analyze and understand the role of culture in modernization, particularly relevant to Russian culture as tensions between Russia and the West heighten to levels not seen since the Cold War.Social changeRussia (Federation)FBCDemocratizationRussia (Federation)FBCDemokratiseringFBCRussia (Federation)Politics and government1991-Russia (Federation)Cultural policyKulturFBCRussia (Federation)Politics and government1991-CongressesRussia (Federation)Cultural policyCongressesRussia (Federation)RelationsWestern countriesCongressesWestern countriesRelationsRussia (Federation)CongressesSocial changeDemocratizationDemokratiseringRussia (Federation)Politics and governmentRussia (Federation)Cultural policy.Kultur947.7086947zHarrison LawrenceI͡Asin E. GSamuel P. Huntington Memorial Symposium on Culture, Cultural Change and Economic Development(2010 :Moscow, Russia)MiAaPQMiAaPQMiAaPQBOOK9910797210403321Culture matters in Russia-and everywhere3850420UNINA