LEADER 07700nam 22008175 450 001 996466257303316 005 20200630025843.0 010 $a3-540-45763-1 024 7 $a10.1007/11875567 035 $a(CKB)1000000000283779 035 $a(SSID)ssj0000316891 035 $a(PQKBManifestationID)11238018 035 $a(PQKBTitleCode)TC0000316891 035 $a(PQKBWorkID)10286908 035 $a(PQKB)10990874 035 $a(DE-He213)978-3-540-45763-3 035 $a(MiAaPQ)EBC3068219 035 $a(PPN)123138647 035 $a(EXLCZ)991000000000283779 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /$fedited by Janusz Górski 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIV, 442 p.) 225 1 $aProgramming and Software Engineering ;$v4166 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-45762-3 320 $aIncludes bibliographical references and index. 327 $aSystems of Systems -- System of Systems Hazard Analysis Using Simulation and Machine Learning -- Through the Description of Attacks: A Multidimensional View -- On Certain Behavior of Scale-Free Networks Under Malicious Attacks -- Security and Survivability Analysis -- Verifying a Chipcard-Based Biometric Identification Protocol in VSE -- Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry -- Computer System Survivability Modelling by Using Stochastic Activity Network -- Nuclear Safety and Application of Standards -- Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant -- Regulatory Software Configuration Management System Design -- Gaining Confidence in the Software Development Process Using Expert Systems -- Formal Approaches -- Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems -- Stepwise Development of Secure Systems -- Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration -- Networks Dependability -- New VoIP Traffic Security Scheme with Digital Watermarking -- Towards Filtering and Alerting Rule Rewriting on Single-Component Policies -- Using Group Overlapping to Protect Server from Attack in Grid Computing -- Coping with Change and Mobility -- The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles -- Demonstration of Safety in Healthcare Organisations -- Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks -- Safety Analysis and Assessment -- Assessment of Hazard Identification Methods for the Automotive Domain -- A Tool for Databus Safety Analysis Using Fault Injection -- Towards a Unified Model-Based Safety Assessment -- Poster Session -- Reliability Analysis of Resilient Packet Rings -- Experiences with the Design of a Run-Time Check -- Development of an Integrated, Risk-Based Platform for Information and E-Services Security -- Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems -- Verification of Automatic Train Protection Systems with RTCP-Nets -- 6th FP Integrated Project DECOS -- Checking SCADE Models for Correct Usage of Physical Units -- Validation and Certification of Safety-Critical Embedded Systems ? The DECOS Test Bench -- Encapsulating Application Subsystems Using the DECOS Core OS -- Modelling -- Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile -- Access Control Coherence of Information Systems Based on Security Constraints -- Automatic Test Data Generation by Multi-objective Optimisation. 330 $aWelcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies. The SAFECOMP 2006 program re?ected in this book included 32 papers selected from 101 submissions of full texts. The submissions came from authors representing 26 di?erent countries from Europe, Asia, and North and South America. The 32 accepted papers were prepared by experts representing 14 d- ferent countries. The above data con?rm the broad and increasing interest in SAFECOMP and the topics addressed. The program was supplemented by three keynote presentations by outsta- ing invited experts (not included in this book). The keynotes focused on - terdisciplinary aspects of dependability of computer systems, practical aspects of application of safety standards and new challenges of information security research and development. 410 0$aProgramming and Software Engineering ;$v4166 606 $aSoftware engineering 606 $aCoding theory 606 $aInformation theory 606 $aSpecial purpose computers 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aCoding and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15041 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 607 $aDanzig <2006>$2swd 610 1 $aComputer reliability 610 1 $aComputer safety 610 1 $aSAFECOMP 615 0$aSoftware engineering. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aCoding and Information Theory. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 702 $aGórski$b Janusz$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Computer Safety, Reliability, and Security. 906 $aBOOK 912 $a996466257303316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA LEADER 04891nam 2200469 450 001 9910794377603321 005 20230809233001.0 010 $a3-8382-6850-4 035 $a(CKB)4100000011381308 035 $a(MiAaPQ)EBC6335854 035 $a(Au-PeEL)EBL6335854 035 $a(OCoLC)1195470513 035 $a(EXLCZ)994100000011381308 100 $a20220927d2017 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aVernetzter sprachunterricht $edie schulfremdsprachen Englisch, Franzo?sisch, Griechisch, Italienisch, Latein, Russisch und Spanisch im dialog. Akten einer fortbildungsreihe des Bildungsministeriums und des Pa?dagogischen Landesinstituts Rheinland-Pfalz /$fedited by Michael Frings, Sabine E. Paffenholz and Klaus Sundermann 210 1$aBerlin, Germany :$cIbidem Verlag,$d[2017] 210 4$d©2017 215 $a1 online resource (403 pages) 225 1 $aFranzo?sischdidaktik im Dialog ;$vv.4 327 $aIntro -- Vorwort -- SPRACHEN VERNETZEN - SYNERGIEN NUTZEN -- Sprachen vernetzen - aber wie? Frank Scho?pp (Wu?rzburg) -- Vernetzendes Sprachlernen und integrative Mehrsprachigkeit im Fremdsprachenunterricht. Wolfgang Hallet (Gießen) -- Sprachenvernetzung: Neuronale, kognitive und didaktische Implikationen fu?r das Projekt "Latein plus". Johannes Mu?ller-Lance? (Mannheim) -- Onora la famiglia! Corleone und seine Spuren aus transatlantischer Perspektive. Ansa?tze einer fa?cherverbindenden Didaktik zwischen Englisch und Italienisch. Martin Blawid (Freigericht) -- Griechische Mythen in lateinischen Lehrwerken. Tamara Choitz (Andernach) & -- Susanne Gippert (Bad Neuenahr-Ahrweiler) -- Von "Nathalie" bis "Okno v Pariz?" - Fremdsprachenunterricht zwischen drei Kulturen. Thomas Bruns (Trier) -- LESEN - LERNEN - LEBEN: VERBINDENDES IN DEN LITERATUREN -- Die griechische Komo?die in Rom - die ro?mische Komo?die in Europa. Peter Riemer (Saarbru?cken) -- "Star quality" - Antony and Cleopatra bei Shakespeare, Plutarch und Vergil. Susanne Gippert (Bad Neuenahr-Ahrweiler) -- Die Ringparabel als europa?isches Thema: Gesta Romanorum - Boccaccio - Lessing. Ricarda Mu?ller (Bad Kreuznach) -- Liebe entsteht beim Lesen von der Liebe. Abaelard und He?loi?se, Francesca da Rimini und Paolo Malatesta, Floris und Blancheflor mit einem alexandrinischen Vorspiel und einem franzo?sischen Nachspiel des 19. Jahrhunderts. Anwendung fu?r die Fa?cher Griechisch, Latein, Italienisch und Franzo?sisch. Johannes Kramer (Trier) -- Iphigenie in Orem und in Aulis Neil LaBute, Aischylos und Euripides. Kurt Roeske (Ober-Olm) -- Der Tod fu?r das Vaterland - Zwei Gefallenenreden: Perikles und Abraham Lincoln. Kurt Roeske (Ober-Olm) -- ANDERE LA?NDER - ANDERE SITTEN?! SPRACHEN ERSCHLIEßEN, KULTUREN VERBINDEN. 327 $aInter- und transkulturelles Lernen im romanischen Tertia?rsprachen- und im altsprachlichen Unterricht (Fokus: Spanisch, Italienisch, Griechisch). Daniel Reimann (Duisburg-Essen) -- Frankophone Autoren zwischen zwei Kulturen am Beispiel Maghreb - Frankreich. Norbert Becker (Mainz) -- Homophobie vom Altertum bis in die Gegenwart. Tamara Choitz (Andernach) & -- Hildegard Herschbach (Neuerburg) -- Mehr als Mord und Totschlag - Kriminalliteratur im Russischunterricht. Rebecca Krug (Mainz) -- Texte der Migration als Erfahrungsprotokoll und Experimentierfeld. Natalia Feld (Frankfurt a.M.) -- NON SOLO LINGUE - VERNETZUNG VON SPRACHLICHEN UND NICHTSPRACHLICHEN FA?CHERN -- Mehrsprachigkeit durch thematische Vernetzung von Sprachunterricht und Fachunterricht. Wolfgang Hallet (Gießen) -- Materialgestu?tztes Schreiben. Wissenschaftspropa?deutische Perspektiven eines vernetzten Sprachenlernens am Beispiel des Praktikantenromans. Jens F. Heiderich (Mainz) -- English-Physics, Franc?ais-Histoire, Espan?ol-Arte: Comics als Ausgangspunkt fu?r fachu?bergreifenden und fa?cherverbindenden Unterricht. Corinna Koch (Paderborn) -- Impressionismus in Kunst und Literatur. Eva-Tabea Meineke (Mannheim) & -- Andreas Schu?rmann (Mainz) -- ABENDVERANSTALTUNGEN -- Dolomitenladinisch ? Papiamentu ? Sardisch. JOHANNES KRAMER (TRIER) & -- SYLVIA THIELE (MAINZ) -- AUTOREN- UND HERAUSGEBERVERZEICHNIS. 410 0$aFranzo?sischdidaktik im Dialog 606 $aLanguages, Modern$xStudy and teaching 606 $aLanguage and languages$xStudy and teaching 615 0$aLanguages, Modern$xStudy and teaching. 615 0$aLanguage and languages$xStudy and teaching. 676 $a418.00704 702 $aFrings$b Michael 702 $aPaffenholz$b Sabine E. 702 $aSundermann$b Klaus 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794377603321 996 $aVernetzter sprachunterricht$93797389 997 $aUNINA