Specification tree - PDFSEARCH.IO - Document Search Engine

Specification tree
Results: 24

#	Item
1	XML Subtree Queries: Specification and Composition Michael Benedikt and Irini Fundulaki Bell Labs, Lucent Technologies, USA Abstract. A frequent task encountered in XML processing is to filter an input document to produ Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 11:43:00 Query languages Functional languages XPath Knowledge representation Data types XQuery XSLT R-tree B-tree Tree T-tree
2	TECHNICAL REPORT TR-224 Technical Specification for MPLS in Carrier Ethernet Networks Issue: 1 Add to Reading List Source URL: www.broadband-forum.org Language: English - Date: 2014-10-27 19:48:49 Computer architecture Metro Ethernet Virtual Private LAN Service Carrier Ethernet Ethernet Virtual Private LAN Multiprotocol Label Switching Ethernet Virtual Private Tree Virtual private network Virtual Leased Line Network architecture Ethernet Computing
3	Traversal Strategies Specification and Efficient Implementation (Graph Theory of OOP/OOD Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 1998-10-28 15:05:33 Graph Dense graph Graph theory Mathematics Tree traversal
4	B07/S/dNHS STANDARD CONTRACT HUMAN T-CELL LYMPHOTROPIC VIRUS TYPE 1 AND 2 (ALL AGES) SECTION B PART 1 - SERVICE SPECIFICATIONS Service Specification No. Add to Reading List Source URL: www.england.nhs.uk Language: English - Date: 2013-08-13 12:10:40 Microbiology Medicine Tree of life Human T-lymphotropic virus 1 HIV/AIDS Adult T-cell leukemia/lymphoma Tropical spastic paraparesis Human T-lymphotropic virus 2 Human T-lymphotropic virus Viral diseases National Health Service Sexually transmitted diseases and infections
5	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
6	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
7	ADL 2.0 Translation System Design Specification, Version 1.1 ADL 2.0 Translation System ISSUE NUMBER Add to Reading List Source URL: adl.opengroup.org Language: English - Date: 2001-11-22 09:54:09 Cross-platform software C Sharp JavaCC Compiler JavaScript Abstract syntax tree Java Anti-Defamation League Computing Software engineering Computer programming
8	UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 07:45:52 Computer programming Functional languages Propositional calculus Procedural programming languages FO Finite model theory Negation B-tree ML Computing Boolean algebra Software engineering
9	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
10	Int. J. Information and Computer Security, Vol. 1, No. 1/2, 2007 Software fault tree and coloured Petri net–based specification, design and implementation of agent-based intrusion detection systems Guy Helmer†, John Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-10-07 21:16:46 Computer security Intrusion detection system Petri net Bro AAFID Computer network security Security Cyberwarfare

UPDATE