04078oam 2201189zu 450 991069395360332120251017110059.0(CKB)3450000000002069(SSID)ssj0000622403(PQKBManifestationID)11926367(PQKBTitleCode)TC0000622403(PQKBWorkID)10643275(PQKB)24145802(WaSeSS)Innodata00030707(GPO)apn2005-011439(OCoLC)60679177(DNLM)1255408(EXLCZ)99345000000000206920160829d2005 uy engur|||||||||||txtccrUpdate on acute bacterial rhinosinusitis[Place of publication not identified]Agency for Healthcare Research and Quality20051 online resourceEvidence Reports/Technology Assessments ;no. 124AHRQ publication ;no. 05-E020-2Bibliographic Level Mode of Issuance: MonographIncludes bibliographical references.Evidence report/technology assessment ;no. 124.AHRQ publication ;no. 05-E020-2.Controlled Clinical Trials as TopicRespiratory Tract InfectionsBacterial Infections and MycosesDisease AttributesParanasal Sinus DiseasesDiseaseClinical Trials as TopicNose DiseasesRespiratory Tract DiseasesPathologic ProcessesEpidemiologic StudiesOtorhinolaryngologic DiseasesEvaluation Studies as TopicPathological Conditions, Signs and SymptomsEpidemiologic MethodsInvestigative TechniquesHealth Care Evaluation MechanismsQuality of Health CareDiagnostic Techniques and ProceduresPublic HealthHealth Care Quality, Access, and EvaluationEnvironment and Public HealthDelivery of Health CareRandomized Controlled Trials as TopicBacterial InfectionsSinusitisAcute DiseaseMedicineHILCCHealth & Biological SciencesHILCCOtorhinolaryngologyHILCCControlled Clinical Trials as Topic.Respiratory Tract Infections.Bacterial Infections and Mycoses.Disease Attributes.Paranasal Sinus Diseases.Disease.Clinical Trials as Topic.Nose Diseases.Respiratory Tract Diseases.Pathologic Processes.Epidemiologic Studies.Otorhinolaryngologic Diseases.Evaluation Studies as Topic.Pathological Conditions, Signs and Symptoms.Epidemiologic Methods.Investigative Techniques.Health Care Evaluation Mechanisms.Quality of Health Care.Diagnostic Techniques and Procedures.Public Health.Health Care Quality, Access, and Evaluation.Environment and Public Health.Delivery of Health Care.Randomized Controlled Trials as Topic.Bacterial Infections.Sinusitis.Acute Disease.MedicineHealth & Biological SciencesOtorhinolaryngology616.2/12Ip StanleyTufts-New England Medical Center Evidence-based Practice Center.United States Agency for Healthcare Research and QualityPQKBBOOK9910693953603321Update on acute bacterial rhinosinusitis3124913UNINA06397nam 22008775 450 991048321630332120251226202731.03-540-87698-710.1007/978-3-540-87698-4(CKB)1000000000490429(SSID)ssj0000316888(PQKBManifestationID)11258552(PQKBTitleCode)TC0000316888(PQKBWorkID)10286907(PQKB)11120417(DE-He213)978-3-540-87698-4(MiAaPQ)EBC3063204(MiAaPQ)EBC6511654(Au-PeEL)EBL6511654(OCoLC)277000986(PPN)129063010(EXLCZ)99100000000049042920100301d2008 u| 0engurnn|008mamaatxtccrComputer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /edited by Michael Douglas Harrison, Mark-Alexander Sujan1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XIV, 456 p.) Programming and Software Engineering,2945-9168 ;5219Includes index.3-540-87697-9 Includes bibliographical references and index.Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection – A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks – Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment ofArguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems.This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.Programming and Software Engineering,2945-9168 ;5219Computer networksSoftware engineeringCoding theoryInformation theoryData protectionComputers, Special purposeComputer scienceComputer Communication NetworksSoftware EngineeringCoding and Information TheoryData and Information SecuritySpecial Purpose and Application-Based SystemsComputer Science Logic and Foundations of ProgrammingComputer networks.Software engineering.Coding theory.Information theory.Data protection.Computers, Special purpose.Computer science.Computer Communication Networks.Software Engineering.Coding and Information Theory.Data and Information Security.Special Purpose and Application-Based Systems.Computer Science Logic and Foundations of Programming.005.1Sujan Mark-AlexanderHarrison Michael DouglasSAFECOMP (Conference)MiAaPQMiAaPQMiAaPQBOOK9910483216303321Computer Safety, Reliability, and Security2908259UNINA