LEADER 02594nam 2200553 450 001 996237241503316 005 20210108065156.0 010 $a90-04-30427-4 024 7 $a10.1163/9789004304277 035 $a(CKB)3710000000484965 035 $a(EBL)4007469 035 $a(SSID)ssj0001555394 035 $a(PQKBManifestationID)16181676 035 $a(PQKBTitleCode)TC0001555394 035 $a(PQKBWorkID)14233828 035 $a(PQKB)10352218 035 $a(nllekb)BRILL9789004304277 035 $a(MiAaPQ)EBC4007469 035 $a(PPN)229512666 035 $a(EXLCZ)993710000000484965 100 $a20150729d2015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHosios $ea semantic study of Greek piety /$fby Saskia Peels 210 1$aLeiden ;$aBoston :$cBrill,$d2015. 215 $a1 online resource (309 p.) 225 1 $aMnemosyne. Supplements ; v. 387 300 $aDescription based upon print version of record. 311 $a90-04-29463-5 320 $aIncludes bibliographical references and index. 327 $aFront Matter -- Introduction -- The Semantics of ????? -- ????? vs. ??????? -- ????? vs. ??????? -- Pious Gods -- ????? vs. ? -- The Semantic Paradox -- Conclusion -- Bibliography -- Indexes. 330 $aIn Hosios: A Semantic Study of Greek Piety Saskia Peels elucidates the semantics of the Ancient Greek adjective hosios and its cognates. Traditionally rendered as ?piety?, hosios was a key notion in Classical Greek religion and reflected a core value in Athenian democracy. Since antiquity, its meaning and usage have puzzled many. This study sets out to resolve various scholarly debates on the semantics of hosios by focusing on the idea of lexical competition. It illuminates the semantic relationship between hosios and its near-synonyms eusebês and dikaios , and the connection to the notion of the ?sacred?. Using insights from modern linguistic theory, the book also aims to improve methods for research into the lexical semantics of a dead language. 410 0$aMnemosyne, Supplements$v387. 606 $aHosios (The Greek word) 606 $aGreek language$xEtymology 607 $aGreece$xReligion 615 0$aHosios (The Greek word) 615 0$aGreek language$xEtymology. 676 $a480.1/43 700 $aPeels$b Saskia$01017820 801 0$bNL-LeKB 801 1$bNL-LeKB 906 $aBOOK 912 $a996237241503316 996 $aHosios$92390011 997 $aUNISA LEADER 06872nam 22008175 450 001 9910144152603321 005 20200706222656.0 010 $a3-540-30138-0 024 7 $a10.1007/b100227 035 $a(CKB)1000000000212533 035 $a(SSID)ssj0000127872 035 $a(PQKBManifestationID)11152524 035 $a(PQKBTitleCode)TC0000127872 035 $a(PQKBWorkID)10063679 035 $a(PQKB)11217407 035 $a(DE-He213)978-3-540-30138-7 035 $a(MiAaPQ)EBC3088851 035 $a(PPN)155198254 035 $a(EXLCZ)991000000000212533 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security $e23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /$fedited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 344 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3219 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23176-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees ? A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics ? Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. 330 $aTheimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3219 606 $aSoftware engineering 606 $aCoding theory 606 $aInformation theory 606 $aComputers, Special purpose 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 615 0$aSoftware engineering. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aComputers, Special purpose. 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 $a004.24 702 $aHeisel$b Maritta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiggesmeyer$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWittmann$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144152603321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA