LEADER 03431nam 2200685Ia 450 001 9910952338203321 005 20251116192348.0 010 $a6610934835 010 $a1-280-93483-2 010 $a9786610934836 010 $a1-4294-9223-6 010 $a1-60750-236-4 010 $a600-00-0561-X 010 $a1-4337-0874-4 035 $a(CKB)1000000000340119 035 $a(EBL)305176 035 $a(OCoLC)290589228 035 $a(SSID)ssj0000248176 035 $a(PQKBManifestationID)11209045 035 $a(PQKBTitleCode)TC0000248176 035 $a(PQKBWorkID)10200008 035 $a(PQKB)11359917 035 $a(MiAaPQ)EBC305176 035 $a(Au-PeEL)EBL305176 035 $a(CaPaEBR)ebr10186853 035 $a(CaONFJC)MIL93483 035 $a(EXLCZ)991000000000340119 100 $a20070511d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSoftware system reliability and security /$fedited by Manfred Broy, Johannes Grunbauer and Tony Hoare 205 $a1st ed. 210 $aAmsterdam ;$aWashington, DC $cIOS Press$dc2007 215 $a1 online resource (428 p.) 225 1 $aNATO security through science series. Sub-series D, Information and communication security,$x1574-5589 ;$vv. 9 300 $a"The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi. 311 08$a1-58603-731-5 320 $aIncludes bibliographical references. 327 $aTitle page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time Systems 327 $aVerification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author Index 330 $aTo make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering. 410 0$aNATO security through science series.$nD,$pInformation and communication security ;$vv. 9. 606 $aComputer software$xReliability$vCongresses 606 $aComputer security$vCongresses 615 0$aComputer software$xReliability 615 0$aComputer security 676 $a005.8 701 $aBroy$b M.$f1949-$01681196 701 $aGru?nbauer$b Johannes$01891432 701 $aHoare$b C. A. R$g(Charles Antony Richard),$f1934-$01681198 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910952338203321 996 $aSoftware system reliability and security$94534493 997 $aUNINA LEADER 00818nam 2200253 450 001 996710473703316 005 20260227160137.0 100 $a20260227d1990----km y0itay5003 ba 101 0 $aita 102 $aIT 105 $ay 00 y 200 1 $a<> ricerca per una nuova sinistra$ea proposito di un libro postumo di Franco Rodano, relativo alle lezioni du "Servo e signore" svolte nell'anno 1968$fGiovanni Galloni 210 $aRoma$c[s.n.]$d1990 215 $a61 p.$d22 cm 606 0 $aPartiti di sinistra$2BNCF 676 $a324.217 700 1$aGALLONI,$bGiovanni$f<1927-2018>$0791741 801 0$aIT$bcba$gREICAT 912 $a996710473703316 951 $aXVI.7.Misc. 2594$b2640 FBUO$cXVI.7.Misc. 959 $aBK 969 $aFBUO 996 $aRicerca per una nuova sinistra$94548790 997 $aUNISA LEADER 06273nam 22004815 450 001 996630864203316 005 20251225183449.0 010 $a981-9794-31-5 024 7 $a10.1007/978-981-97-9431-7 035 $a(CKB)36527796900041 035 $a(DE-He213)978-981-97-9431-7 035 $a(EXLCZ)9936527796900041 100 $a20241101d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNatural Language Processing and Chinese Computing $e13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1?3, 2024, Proceedings, Part I /$fedited by Derek F. Wong, Zhongyu Wei, Muyun Yang 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (XXXIV, 519 p. 153 illus., 145 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v15359 311 08$a981-9794-30-7 327 $aOvercoming Rigid and Monotonous: Enhancing Knowledge-grounded Conversation Generation via Multi-granularity Knowledge -- Learning to Generate Style-Specific Adapters for Stylized Dialogue Generation -- Hierarchical Knowledge Aggregation for Personalized Response Generation in Dialogue Systems -- Multi-hop Reading Comprehension Model Based on Abstract Meaning Representation and Multi-task Joint Learning -- Leveraging Large Language Models for QA Dialogue Dataset Construction and Analysis in Public Services -- MCFC: A Momentum-Driven Clicked Feature Compressed Pre-trained Language Model for Information Retrieval -- Integrating Syntax Tree and Graph Neural Network for Conversational Question Answering over Heterogeneous Sources -- PqE: Zero-Shot Document Expansion for Dense Retrieval with Large Language Models -- CKF: Conditional Knowledge Fusion Method for CommonSense Question Answering -- MPPQA: Structure-Aware Extractive Multi-Span Question Answering for Procedural Documents -- GraphLLM: A General Framework for Multi-hop Question Answering over Knowledge Graphs using Large Language Models -- Local or Global Optimization for Dialogue Discourse Parsing -- Structure and Behavior Dual-Graph Reasoning with Integrated Key-Clue Parsing for Multi-Party Dialogue Reading Comprehension -- Enhancing Emotional Support Conversation with Cognitive Chain-of-Thought Reasoning -- A Simple and Effective Span Interaction Modeling Method for Enhancing Multiple Span Question Answering -- FacGPT:An Effective and Efficient method for Evaluating Knowledge-based Visual Question Answering -- PAPER: A Persona-Aware Chain-of-Thought Learning Framework for Personalized Dialogue Response Generation -- Towards Building a Robust Knowledge Intensive Question Answering Model with Large Language Models -- Model-Agnostic Knowledge Distillation between Heterogeneous Models -- Exploring Multimodal Information Fusion in Spoken Off-Topic Degree Assessment -- Integrating Hierarchical Key Information and Semantic Difference Features for Long Text Matching -- CausalAPM: Generalizable Literal Disentanglement for NLU Debiasing -- W2CL:A Multi-task Learning Approach to Improve Domain-Specific Sentence Classification through Word Classification and Contrastive Learning -- Outperforming Larger Models on Text Classification Through Continued Pre-Training -- Semantic Knowledge Enhanced and Global Pointer Optimized Method for Medical Nested Entity Recognition -- CSLAN: A Novel Lexicon Attention Network for Chinese NERS2D: Enhancing Zero-shot Cross-lingual Event Argument Extraction with Semantic Knowledge -- Bias-Rectified Multi-way Learning with Data Augmentation for Implicit Discourse Relation Recognition -- Retrieval-enhanced Template Generation for Template Extraction -- Chinese Named Entity Recognition Based on Template and Contrastive Learning -- Enhancing Logical Rules Based on Self-Distillation for Document-Level Relation ExtractionPrompt-based Joint Contrastive Learning for Zero-Shot Relation ExtractionLow-Resource Event Causality Identification With Global Consistency Constraints -- Only One Relation Possible? Modeling the Ambiguity in Temporal Relation Extraction -- Empowering LLMs for Long-text Information Extraction in Chinese Legal Documents -- LLMADR: A Novel Method for Adverse Drug Reaction Extraction Based on Style Aligned Large Language Models Fine-tuning -- Research on Named Entity Recognition in Ancient Chinese Based on Incremental Pre-training and Domain Lexicon -- MCKRL: A Multi-Channel based Multi-Graph Knowledge Representation Learning Model. 330 $aThe five-volume set LNCS 15359 - 15363 constitutes the refereed proceedings of the 13th National CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2024, held in Hangzhou, China, during November 2024. The 161 full papers and 33 evaluation workshop papers included in these proceedings were carefully reviewed and selected from 451 submissions. They deal with the following areas: Fundamentals of NLP; Information Extraction and Knowledge Graph; Information Retrieval, Dialogue Systems, and Question Answering; Large Language Models and Agents; Machine Learning for NLP; Machine Translation and Multilinguality; Multi-modality and Explainability; NLP Applications and Text Mining; Sentiment Analysis, Argumentation Mining, and Social Media; Summarization and Generation. . 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v15359 606 $aArtificial intelligence 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence 606 $aNatural Language Processing (NLP) 615 0$aArtificial intelligence. 615 0$aNatural language processing (Computer science) 615 14$aArtificial Intelligence. 615 24$aNatural Language Processing (NLP). 676 $a006.3 702 $aWong$b Derek F$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWei$b Zhongyu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYang$b Muyun$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996630864203316 996 $aNatural Language Processing and Chinese Computing$91912515 997 $aUNISA