LEADER 03521nam 22007095 450 001 996465395403316 005 20230406062936.0 010 $a3-642-21934-9 024 7 $a10.1007/978-3-642-21934-4 035 $a(CKB)2670000000095923 035 $a(DE-He213)978-3-642-21934-4 035 $a(MiAaPQ)EBC3066802 035 $a(PPN)153859067 035 $a(EXLCZ)992670000000095923 100 $a20110616d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Science and Its Applications - ICCSA 2011$b[electronic resource] $eInternational Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V /$fedited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (LVIII, 662 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6786 311 $a3-642-21933-0 330 $aThe five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011. The five volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The topics of the fully refereed papers are structured according to the five major conference themes: geographical analysis, urban modeling, spatial statistics; cities, technologies and planning; computational geometry and applications; computer aided modeling, simulation, and analysis; and mobile communications. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6786 606 $aComputer networks 606 $aAlgorithms 606 $aSoftware engineering 606 $aComputer simulation 606 $aApplication software 606 $aData mining 606 $aComputer Communication Networks 606 $aAlgorithms 606 $aSoftware Engineering 606 $aComputer Modelling 606 $aComputer and Information Systems Applications 606 $aData Mining and Knowledge Discovery 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aApplication software. 615 0$aData mining. 615 14$aComputer Communication Networks. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 615 24$aComputer Modelling. 615 24$aComputer and Information Systems Applications. 615 24$aData Mining and Knowledge Discovery. 676 $a004.6 702 $aMurgante$b Beniamino$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGervasi$b Osvaldo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIglesias$b Andres$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTaniar$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aApduhan$b Bernady O$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465395403316 996 $aComputational Science and Its Applications - ICCSA 2011$92830118 997 $aUNISA LEADER 03554nam 22007095 450 001 996465952003316 005 20230220233127.0 010 $a3-540-31483-0 024 7 $a10.1007/11580850 035 $a(CKB)1000000000232687 035 $a(SSID)ssj0000320520 035 $a(PQKBManifestationID)11244851 035 $a(PQKBTitleCode)TC0000320520 035 $a(PQKBWorkID)10248499 035 $a(PQKB)11474841 035 $a(DE-He213)978-3-540-31483-7 035 $a(MiAaPQ)EBC3066542 035 $a(PPN)123098513 035 $a(EXLCZ)991000000000232687 100 $a20101108d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTrustworthy Global Computing$b[electronic resource] $eInternational Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /$fedited by Rocco De Nicola, Davide Sangiorgi 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (VIII, 371 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3705 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-30007-4 320 $aIncludes bibliographical references and index. 327 $aHarmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model?Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange -- A Formal Semantics for Protocol Narrations -- web ? at Work -- Concurrency Among Strangers -- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library -- A Practical Formal Model for Safety Analysis in Capability-Based Systems -- Mixin Modules for Dynamic Rebinding -- A Distributed Object-Oriented Language with Session Types -- Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies -- Automated Analysis of Infinite Scenarios -- Namespace Logic: A Logic for a Reflective Higher-Order Calculus -- Erratum. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3705 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aOperating Systems 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 615 24$aCompilers and Interpreters. 676 $a005.1 702 $aDe Nicola$b Rocco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSangiorgi$b Davide$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465952003316 996 $aTrustworthy Global Computing$9771960 997 $aUNISA