06107nam 22007575 450 99646533090331620200705034845.03-540-46692-410.1007/3-540-55092-5(CKB)1000000000233766(SSID)ssj0000323242(PQKBManifestationID)11247868(PQKBTitleCode)TC0000323242(PQKBWorkID)10296506(PQKB)11493794(DE-He213)978-3-540-46692-5(PPN)155178628(EXLCZ)99100000000023376620121227d1991 u| 0engurnn|008mamaatxtccrFormal Techniques in Real-Time and Fault-Tolerant Systems[electronic resource] Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings /edited by Jan Vytopil1st ed. 1991.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1991.1 online resource (XII, 628 p.) Lecture Notes in Computer Science,0302-9743 ;571Bibliographic Level Mode of Issuance: Monograph3-540-55092-5 ISL: An interval logic for the specification of real-time programs -- Duration specifications for shared processors -- A compositional semantics for fault-tolerant real-time systems -- Modelling real-time behavior with an interval time calculus -- Multicycles and RTL logic satisfiability -- Voluntary preemption: A tool in the design of hard real-time systems -- Observing task preemption in Ada 9X -- Real-time scheduling by queue automata -- Broadcast communication for real-time processes -- Analysis of timeliness requirements in safety-critical systems -- Verification of a reliable net protocol -- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization -- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems -- On fault-tolerant symbolic computations -- Temporal logic applied to reliability modelling of fault-tolerant systems -- Specifying asynchronous transfer of control -- Protocol design by layered decomposition -- Scheduling in Real-Time Models -- A temporal approach to requirements specification of real-time systems -- RLucid, a general real-time dataflow language -- A mechanized theory for the verification of real-time program code using higher order logic -- Specification and verification of real-time behaviour using Z and RTL -- TAM: A formal framework for the development of distributed real-time systems -- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language -- The real-time behaviour of asynchronously communicating processes -- Asynchronous communication in real space process algebra -- Translating timed process algebra into prioritized process algebra -- Operational semantics for timed observations -- Real-timed concurrent refineable behaviours -- Stepwise development of model-oriented real-time specifications from action/event models -- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic -- Timed and Hybrid Statecharts and their textual representation.This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.Lecture Notes in Computer Science,0302-9743 ;571ComputersApplied mathematicsEngineering mathematicsMathematical logicComputer logicProbabilitiesStatistics Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Applications of Mathematicshttps://scigraph.springernature.com/ontologies/product-market-codes/M13003Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProbability Theory and Stochastic Processeshttps://scigraph.springernature.com/ontologies/product-market-codes/M27004Statistics, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/S0000XComputers.Applied mathematics.Engineering mathematics.Mathematical logic.Computer logic.Probabilities.Statistics .Theory of Computation.Applications of Mathematics.Mathematical Logic and Foundations.Logics and Meanings of Programs.Probability Theory and Stochastic Processes.Statistics, general.004/.33Vytopil Janedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465330903316Formal Techniques in Real-Time and Fault-Tolerant Systems1944996UNISA01126nam0-2200373-i-450 99000377691040332120230405120631.088-339-0785-6000377691FED01000377691(Aleph)000377691FED0100037769120030910d1993----km-y0itay50------baitaITa-------001yy<<I >>frutti puri impazzisconoetnografia, letteratura e arte nel XX secoloJames Cliffordtraduzione di Mario MarchettiTorinoBollati Boringhieri1993428 p.ill.22 cmNuova cultura36Contiene bibl. (p. 397-416)2001<<The >>Predicament of Culture23565EtnologiaStudi305.822ita306.0122itaClifford,James<1945- >143493ITUNINARICAUNIMARCBK990003776910403321306.01 CLI 34882BFSDIC / CLI 1BFSBFSPredicament of culture23565UNINA03087nam 22007695 450 99646603330331620230406053940.03-540-46480-810.1007/11893028(CKB)1000000000283941(SSID)ssj0000319142(PQKBManifestationID)11232846(PQKBTitleCode)TC0000319142(PQKBWorkID)10337018(PQKB)10537606(DE-He213)978-3-540-46480-8(MiAaPQ)EBC3068575(PPN)123139023(EXLCZ)99100000000028394120110118d2006 u| 0engurnn#008mamaatxtccrNeural Information Processing[electronic resource] 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I /edited by Jun Wang, Laiwan Chan, DeLiang Wang1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XLVI, 1164 p.)Theoretical Computer Science and General Issues,2512-2029 ;4232Bibliographic Level Mode of Issuance: Monograph3-540-46479-4 Includes bibliographical references and index.Neurobiological Modeling and Analysis -- Cognitive Processing -- Mathematical Modeling and Analysis -- Learning Algorithms -- Support Vector Machines -- Self-Organizing Map -- Independent Component Analysis and Blind Source Separation -- Erratum.Theoretical Computer Science and General Issues,2512-2029 ;4232Artificial intelligenceComputer scienceInformation technology—ManagementApplication softwareDatabase managementComputer visionArtificial IntelligenceTheory of ComputationComputer Application in Administrative Data ProcessingComputer and Information Systems ApplicationsDatabase ManagementComputer VisionArtificial intelligence.Computer science.Information technology—Management.Application software.Database management.Computer vision.Artificial Intelligence.Theory of Computation.Computer Application in Administrative Data Processing.Computer and Information Systems Applications.Database Management.Computer Vision.006.3Wang Junedthttp://id.loc.gov/vocabulary/relators/edtChan Laiwanedthttp://id.loc.gov/vocabulary/relators/edtWang DeLiangedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466033303316Neural Information Processing2554499UNISA01374nam0 22002891i 450 UON0047178920231205105209.15088-7104-343-X20161122d1990 |0itac50 baitaIT|||| 1||||Tempo della persona e sapienza del possibile. 2: Per una teoria, una critica e una metaforica del personalismoGiuseppe LimoneNapoliEdizioni Scientifiche Italiane1990558 p.21 cm.001UON003146822001 Collana di saggi e testi dell'Istituto di Filosofia del diritto dell'Università degli Studi di Napoli. Sez. «Saggi»210 NapoliEdizioni Scientifiche Italiane11PersonalismoUONC090093FIITNapoliUONL000012194Filosofia occidentale moderna. Francia21LIMONEGiuseppeUONV221698232265Edizioni Scientifiche ItalianeUONV248238650ITSOL20260724RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICOUONSIUON00471789SIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICOSI ITA II 1995 b SI LO 50201 7 1995 b Tempo della persona e sapienza del possibile104787UNIOR