specification

Documents about specification

• Stream Control Transmission Protocol (SCTP) Specification Errata and Issues#208951IETF RFCs
• PKCS #5: Password-Based Cryptography Specification Version 2.1#209124IETF RFCs
• Generalized Multi-Protocol Label Switching (GMPLS) Recovery Functional Specification#254476IETF RFCs
• Code-Augur: Agentic Vulnerability Detection via Specification Inference#287063arXiv CS
• Toward a Unified GPU-Aware OpenSHMEM Specification#353034arXiv CS
• Basic Specification for IP Fast Reroute: Loop-Free Alternates#420434IETF RFCs
• InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy#451229arXiv CS
• IPv6 Rapid Deployment on IPv4 Infrastructures (6rd) -- Protocol Specification#501317IETF RFCs
• Rationale for Update to the IPv6 Flow Label Specification#501533IETF RFCs
• Improving Dynamic Specification Inference with LLM-Generated Counterexamples#10433arXiv CS
• Intent-aligned Formal Specification Synthesis via Traceable Refinement#10445arXiv CS
• CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation#13165arXiv CS
• La Profilée - Core Specification - Definitions, Axioms, Theorems, Falsification Conditions, and Limits#81854PhilArchive
• The Basic Liberties: An Essay on Analytical Specification#110820PhilArchive
• Foundational Reasoning and Feedback Protocol (FRFP): An Updated Formal Specification#122172DataCite
• Foundational Reasoning and Feedback Protocol (FRFP): An Updated Formal Specification#122173DataCite
• Specification for the plug-in-water connectors#129159CERN CDS
• Spécification technique pour collimateurs à quatre blocs#129161CERN CDS
• Source Demand Routing: Packet Format and Forwarding Specification (Version 1)#132536IETF RFCs
• Ipsilon Flow Management Protocol Specification for IPv4 Version 1.0#132549IETF RFCs
• Internet Stream Protocol Version 2 (ST2) Protocol Specification - Version ST2+#133676IETF RFCs
• Ipsilon's General Switch Management Protocol Specification Version 1.1#133750IETF RFCs
• Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification (Revised)#135089IETF RFCs
• Core Based Trees (CBT version 2) Multicast Routing -- Protocol Specification --#136890IETF RFCs
• Ipsilon's General Switch Management Protocol Specification Version 2.0#136986IETF RFCs
• Protocol Independent Multicast - Sparse Mode (PIM-SM): Protocol Specification (Revised)#142055IETF RFCs
• Combining Mechanical and Agentic Specification Inference for Move#175329arXiv CS
• IMIX Genome: Specification of Variable Packet Sizes for Additional Testing#254552IETF RFCs
• Path Computation Element Communication Protocol (PCEP) Extension for Flow Specification#262480IETF RFCs
• Specification Grounding Drives Test Effectiveness for LLM Code#349703arXiv CS
• Cardano's Voltaire Governance: Complete Specification and Research Program#363163arXiv CS
• Specification of the IP Flow Information Export (IPFIX) File Format#420549IETF RFCs
• SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients#463145arXiv CS
• Behavior Specification-Guided Program Synthesis for Binary Deobfuscation#480132arXiv CS
• Control And Provisioning of Wireless Access Points (CAPWAP) Protocol Specification#501019IETF RFCs
• Registry Specification for Mandatory Access Control (MAC) Security Label Formats#502924IETF RFCs
• OASIS ebCore Party Id Type Technical Specification Version 1.0 (2010-09-25)#600713OASIS Open
• Technical specification. Drift tube components for the RF cavity#129156CERN CDS
• Cabletron's Light-weight Flow Admission Protocol Specification Version 1.0#133889IETF RFCs
• Mannose controls mesoderm specification and symmetry breaking in mouse gastruloids#144769PMC Full-Text (OAI)
• A Specification Model of Saturn's Plasma Environment#195761HAL (France)
• Some problems with the specification of the Military Standard Internet Protocol#208927IETF RFCs
• Generic Connection Admission Control (GCAC) Algorithm Specification for IP/MPLS Networks#213400IETF RFCs
• Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization#229570arXiv CS
• The Structural Method: Genealogy, Diagnosis, and Architectural Specification of Normative Authority#244993PhilArchive
• Primate lineage specification requires suppression of Alu hyperediting#261817Europe PMC
• Specification, verification, and quantification of security in model-based systems#280343HAL (France)
• From Specification to Execution: AI Assisted Scientific Workflow Management#287107arXiv CS
• Specification and verification of closures#319994DataCite
• NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens#429289arXiv CS