LEADER 07272nam 22008295 450 001 996465804003316 005 20200701041626.0 010 $a3-540-39878-3 024 7 $a10.1007/b12002 035 $a(CKB)1000000000212145 035 $a(SSID)ssj0000322117 035 $a(PQKBManifestationID)11282755 035 $a(PQKBTitleCode)TC0000322117 035 $a(PQKBWorkID)10282519 035 $a(PQKB)11650668 035 $a(DE-He213)978-3-540-39878-3 035 $a(MiAaPQ)EBC3088975 035 $a(PPN)155201271 035 $a(EXLCZ)991000000000212145 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /$fedited by Stuart Anderson, Massimo Felici, Bev Littlewood 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XVIII, 426 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2788 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20126-2 320 $aIncludes bibliographical references and index. 327 $aKeynote Talk -- Issues in Safety Assurance -- Formal Methods -- Elicitation and Validation of Graphical Dependability Models -- Visual Modeling and Verification of Distributed Reactive Systems -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform -- Design for Dependability -- Integrity Static Analysis of COTS/SOUP -- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks -- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks -- A Dependability Model for Domestic Systems -- Security and Formal Methods -- Modelling and Verification of Layered Security Protocols: A Bank Application -- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity -- Software Tamper Resistance Using Program Certificates -- Keynote Talk -- Developing High Assurance Systems: On the Role of Software Tools -- Dependability and Performance Analysis -- Web Service Availability ? Impact of Error Recovery -- A Unified Tool for Performance Modelling and Prediction -- Dependability of Medical Systems -- An Approach to Trust Case Development -- Reliable Data Replication in a Wireless Medical Emergency Network -- Critical Feature Analysis of a Radiotherapy Machine -- Fault Tolerance -- Byzantine Fault Tolerance, from Theory to Reality -- Redundancy Management for Drive-by-Wire Computer Systems -- Fault-Tolerant Communication System to Improve Safety in Railway Environments -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design -- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW -- On the Role of Traceability for Standards Compliance: Tracking Requirements to Code -- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development -- Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing Environments -- Dependability and Survivability of Large Complex Critical Infrastructures -- Hazard and Safety Analysis -- Safety Assessment of Experimental Air Traffic Management Procedures -- The Application of Causal Analysis Techniques for Computer-Related Mishaps -- Reuse in Hazard Analysis: Identification and Support -- Design for Dependability -- The Characteristics of Data in Data-Intensive Safety-Related Systems -- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. 330 $aEdinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2788 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aCoding theory 606 $aInformation theory 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 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aCoding and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15041 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$aSpecial purpose computers. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aCoding and Information Theory. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 702 $aAnderson$b Stuart$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFelici$b Massimo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLittlewood$b Bev$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465804003316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA LEADER 02225nam0 22004211i 450 001 UON00217581 005 20231205103400.605 010 $a22-7105-133-9 100 $a20030730d1993 |0itac50 ba 101 $afre 102 $aFR 105 $a||||0 ||||| 200 1 $aT. Kantor 2: Retour à la baraque de foire, Qu'ils crèvent les artistes, Je ne reviendrai jamais, Aujourd'hui c'est mon anniversaire, Approches$ftextes de Tadeusz Kantor$gétudes de Denis Bablet ... [et al.]$gréunis par Denis Bablet$gavec la collaboration de Jacquie Bablet et Marie-Thérèse Vido-Rzewuska$gprésèntes par Elie Konigson 210 $aParis$cCNRS$d1993 215 $a285 p.$cill.$d28 cm. 410 1$1001UON00174483$12001 $aArts du spectacle. Les voies de la création théâtrale$1210 $aParis$cEditions du Centre National de la Recherche Scientifique.$v18 423 1$1001UON00375230$12001 $aRetour à la baraque de foire$fM. Vido-Rzewuska 423 1$1001UON00375231$12001 $aQu'ils crèvent les artistes$fT. Kantor 423 1$1001UON00375232$12001 $aJe ne reviendrai jamais$fT. Kantor 423 1$1001UON00375233$12001 $aAujourd'hui c'est mon anniversaire$fT. Kantor 606 $aTEATRO$xPolonia$xSec. 20.$xCritica$3UONC058449$2FI 606 $aTEATRO SPERIMENTALE$xPolonia$3UONC058450$2FI 606 $aCRITICA ARTISTICA$xPolonia$xSec. 20.$3UONC058451$2FI 606 $aKANTOR TADEUSZ$xOpere$xCritica$3UONC058453$2FI 620 $aFR$dParis$3UONL002984 676 $a792.023$cTecniche, procedure, apparecchi, attrezzature, materiali. Supervisione$v21 700 1$aKANTOR$bTadeusz$3UONV131786$0444421 702 1$aBABLET$bDenis$3UONV121480 702 1$aBABLET$bJacquie$3UONV158279 702 1$aKONIGSON$bElie$3UONV142035 702 1$aVIDO-RZEWUSKA$bMarie-Thérèse$3UONV158280 712 $aCentre National de la Recherche Scientifique$3UONV262150$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00217581 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI S.C Teat Cons KAN 2 $eSI LO 66363 6 2 996 $aT$91239186 997 $aUNIOR