Extended finite-state machine - PDFSEARCH.IO - Document Search Engine

Extended finite-state machine
Results: 15

#	Item
1	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:38 Computer science Applied mathematics Extended finite-state machine Theory of computation Algorithm Assignment Models of computation Software engineering Formal methods
2	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:08 Applied mathematics Formal methods Extended finite-state machine Theory of computation Finite-state machine Algorithm Grammar induction Models of computation Theoretical computer science Computer science
3	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
4	XML-based Dynamic Service Behaviour Representation Shanshan Jiang and Finn Arve Aagesen Department of Telematics Norwegian University of Science and Technology (NTNU) N-7491 Trondheim, Norway {Shanshan.Jiang, Finn.Arve.A Add to Reading List Source URL: www.nik.no Language: English - Date: 2003-10-15 10:09:03 Markup languages Technical communication XML Finite-state machine Effi Extended finite-state machine Computing OSI protocols Models of computation
5	Dependency Parsing with an Extended Finite-State Approach Kemal Oflazer∗ Sabancı University This article presents a dependency parsing scheme using an extended ﬁnite-state approach. The Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-22 11:47:26 Compiler construction Automata theory Models of computation Syntax Computational linguistics Dependency grammar Parsing Finite-state machine Formal grammar Formal languages Linguistics Grammar
6	ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, and Ja Add to Reading List Source URL: aadithyakv.com Language: English - Date: 2014-08-30 07:34:40 Digital signal processing Electromagnetism Analog-to-digital converter Comparator Successive approximation ADC Finite-state machine Extended finite-state machine Boolean circuit Binary decision diagram Electronic engineering Electronics Electronic circuits
7	3C-1 ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Veriﬁcation Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, Add to Reading List Source URL: potol.eecs.berkeley.edu Language: English - Date: 2014-09-09 02:02:36 Electronics Electromagnetism Analog-to-digital converter Finite-state machine Successive approximation ADC Comparator Extended finite-state machine SPICE Boolean circuit Electronic engineering Electronic circuits Digital signal processing
8	Abstracting Security Specifications in Building Survivable Systems J. Jenny Li and Mark Segal Telcordia Technologies (formerly Bellcore) 445 South Street, Morristown NJ[removed]USA Email: [removed]; Phone: (97 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 1999-11-05 00:00:00 Formal methods Mathematics Diagrams Specification and Description Language Invariant Finite-state machine Extended finite-state machine Vulnerability Buffer overflow Computing Models of computation Theoretical computer science
9	Extended Path Expressions for XML [Extended Abstract] Makoto Murata IBM Tokyo Research Lab/IUJ Research Institute[removed], Shimotsuruma, Yamato-shi, Kanagawa-ken[removed], Japan Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2001-03-17 13:19:01 Computing Tree automaton Regular expression Hedge Finite-state machine Binary tree Automata theory Theoretical computer science Computer science
10	Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Computer science Software engineering Computing Büchi automaton Automata theory Models of computation Finite-state machine