|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19541 occurrences of 5230 keywords
|
|
|
Results
Found 53773 publication records. Showing 53773 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Patrice Godefroid |
On the costs and benefits of using partial-order methods for the verification of concurrent systems. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Eike Best |
Partial order verification with PEP. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Jörg Würtz |
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning. |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages |
1994 |
DBLP BibTeX RDF |
|
24 | Mark Bickford, Mandayam K. Srivas |
Verification of a Pipelined Microprocessor Using Clio. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Han Zuidweg |
Verification by Abstraction and Bisimulation. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ze'ev Shtadler, Orna Grumberg |
Network Grammars, Communication Behaviors and Automatic Verification. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Olivier Coudert, Christian Berthet, Jean Christophe Madre |
Verification of Synchronous Sequential Machines Based on Symbolic Execution. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Donal Roantree, Maurice Clint |
A Specification-Verification Framework for Distributed Applications Software. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
24 | David Freestone |
Specification and Verification in Communications Standards. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
24 | Parosh Aziz Abdulla, Stefan Arnborg |
An Equivalence Decision Problem in Systolic Array Verification. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
24 | Peter Dybjer, Herbert P. Sander |
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
24 | Jeffrey J. Joyce |
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
24 | Bernd Walter |
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani |
A Calculus for Protocol Specification and Validation. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Richard J. Linn Jr., J. Stephen Nightingale |
Some Experience with Testing Tools for OSI Protocol Implementations. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | S. Aggarwal, Robert P. Kurshan |
Modelling Elapsed Time in Protocol Specification. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Yechiam Yemini, Nihal Nounou |
CUPID: A Protocol Development Environment. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | F. Mark Restorick |
Implementation of a Protocol in an Assembly Language. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Luigi Logrippo |
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Omar Rafiq, Jean-Pierre Ansart |
VADILOC - A Protocol Validator and Its Applications. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Richard J. Linn Jr., W. H. McCoy |
Producing Tests for Implementations of OSI Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | S. Aggarwal, Robert P. Kurshan, D. Sharma |
A Language for the Specification and Analysis of Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen |
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | George A. Harvey |
The Routing Certification System. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | D. Rayner |
Towards an Objective Understanding of Conformance. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Hasan Ural, Robert L. Probert |
User-Guided Test Sequence Generation. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Hans Eckert, Rainer Prinoth |
A Computation-System Based Method for Automated Proving of Protocols Against Services. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Francois Billiard |
Methodology and Tools for Qualitative Protocols Validation. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Günter Karjoth |
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Guy Juanole, B. Algayres |
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Michel Ayache, Jean-Pierre Courtiat |
LC/1, A Specification and Implementation Language for Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Pierre Ansart, V. Chari, D. Simon |
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Stanislaw Budkowski, Elie Najm |
Structured Finite State Automata - A new approach for modelling distributed communications systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Gerard J. Holzmann, Rob A. Beukers |
The Pandora Protocol Development System. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Alan E. Baratz, Adrian Segall |
A Reliable Link Initialization Procedure. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Harry Rudin |
From Formal Protocol Specification Towards Automated Performance Prediction. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Jonathan Billington |
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Robert E. Strom, Shaula Yemini |
Design, Implementation, and Validation of Secure Communications Systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Alfred Gießler |
Testing and Diagnosis Aids for Higher Level Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Gerard Florin, Stéphane Natkin, A. Woog, J. Attal |
Quantitative Validation for Industrial Ethernet Local Networks. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Mohamed G. Gouda |
An Example for Constructing Communicating Machines by Step-Wise Refinement. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | G. W. Cowin, R. W. S. Hale, D. Rayner |
Protocol Product Testing - Some Comparisons and Lessons. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Sergio Palazzo, P. Fogliata, Gesualdo Le Moli |
A Layer-Independent Architecture for a Testing System of Protocol Implementations. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Rune Gustavsson, Björn Pehrson |
The Power of some Formal Models of Distributed Computing. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Robin M. S. Cork |
The Testing of Protocols in SNA Products - An Overview. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Miguel Menasche, Bernard Berthomieu |
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Robert L. Probert, Hasan Ural |
Requirements for a Test Specification Language for Protocol Implementation Testing. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Thomas P. Blumer, Deepinder P. Sidhu |
Experience with an Automated Protocol Development System. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso |
Design of a Transport Layer Protocol for a Special Purpose LAN. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
24 | Björn Pehrson |
Abstraction by Structural Reduction. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
23 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
23 | Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang |
Modeling, verification, and implementation of PLC program using timed-MPSG. |
SCSC |
2007 |
DBLP BibTeX RDF |
modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC) |
23 | Reiner Dojen, Tom Coffey |
The concept of layered proving trees and its application to the automation of security protocol verification. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols |
23 | Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham |
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
efficient memory models, embedded memory verification, custom circuit verification, equivalence checking, symbolic trajectory evaluation |
23 | Yu Huang 0005, Wu-Tung Cheng |
Using embedded infrastructure IP for SOC post-silicon verification. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
FPGA core, infrastructure IP (I-IP), post-silicon verification, transaction-based verification |
23 | Dipankar Sarkar 0001 |
Register Transfer Operation Analysis during Data Path Verification. |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
Sequential Circuit Verification, Control Part - Data Path, Data Path Verification, RTL Behaviours |
23 | Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma |
The 'Cash-Point' Service: A Verification Case Study Using STeP. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Verification diagrams, Model checking, Verification, STeP |
23 | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification |
23 | Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification |
23 | Christoph Kern, Mark R. Greenstreet |
Formal verification in hardware design: a survey. |
ACM Trans. Design Autom. Electr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
language containment, model checking, formal methods, formal verification, case studies, theorem proving, survey, hardware verification |
23 | James K. Huggins, David Van Campenhout |
Specification and verification of pipelining in the ARM2 RISC microprocessor. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors |
23 | Dominik Stoffel, Wolfgang Kunz |
Record & play: a structural fixed point iteration for sequential circuit verification. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design |
23 | Yuntao Cui, John (Juyang) Weng |
Hand segmentation using learning-based prediction and verification for hand sign recognition. |
CVPR |
1996 |
DBLP DOI BibTeX RDF |
learning-based prediction, learning-based verification, prediction-and-verification segmentation scheme, false rejection rate, correct segmentation rate, user interfaces, computer vision, image segmentation, motion estimation, intensity images, hand segmentation |
23 | Mark D. Aagaard, Miriam Leeser |
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
weak division, theorem proving, logic synthesis, Software verification, hardware verification |
23 | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control |
23 | Miriam Leeser, John W. O'Leary |
Verification of a subtractive radix-2 square root algorithm and implementation. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations |
23 | Seong Hoon Kim, Myoung Soo Park, Jaihie Kim |
Applying personalized weights to a feature set for on-line signature verification. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
personalized weights, pen-speed, pen-pressure, optimal verification, combinatorial efforts, handwriting recognition, on-line signature verification |
23 | Orna Grumberg, David E. Long |
Model Checking and Modular Verification. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification |
23 | Richard Gerber 0001, Insup Lee 0001 |
A Layered Approach to Automating the Verification of Real-Time Systems. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach |
23 | Tony T. Lee, Ming-Yee Lai |
A Relational Algebraic Approach to Protocol Verification. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES |
23 | Raúl Monroy, Alan Bundy, Ian Green |
On Process Equivalence = Equation Solving in CCS. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Unique fixpoint induction, Equational verification Calculus of communicating systems |
23 | Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova |
On the correctness of upper layers of automotive systems. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Time-triggered systems, Formal verification, Model-based development, Automotive software |
23 | Walid Ibrahim |
A Novel EDA Tool for VLSI Test Vectors Management. |
J. Electron. Test. |
2007 |
DBLP DOI BibTeX RDF |
Test vectors selection, Genetic algorithms, Verification, VLSI, EDA tools |
23 | Ping Hang Cheung, Alessandro Forin |
A C-Language Binding for PSL. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
C, Assertion Based Verification, Property Specification Language |
23 | Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park |
Capacity Planning for Scalable Fingerprint Authentication. |
KES (1) |
2006 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Authentication Protocol, Fingerprint Verification |
23 | Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard |
Maintaining consistency between systemC and RTL system designs. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP |
23 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
23 | Gustaf Naeser, Kristina Lundqvist, Lars Asplund |
Temporal skeletons for verifying time. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
verification, ada, formal notation |
23 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
23 | Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor |
Bridging pre-silicon verification and post-silicon validation. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
post-silicon, pre-silicon, verification, validation |
23 | Alon Gluska, Lior Libis |
Shortening the verification cycle with synthesizable abstract models. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
verification, logic design, abstract modeling |
23 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
Decomposing bytecode verification by abstract interpretation. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Abstract interpretation, bytecode verification |
23 | Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
Formal Verification by Reverse Synthesis. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
formal methods, Formal verification, software dependability |
23 | |
A Novel Text-Independent Speaker Verification System Using Ant Colony Optimization Algorithm. |
ICISP |
2008 |
DBLP DOI BibTeX RDF |
Feature Selection, Gaussian Mixture Model (GMM), Speaker Verification, Ant Colony Optimization (ACO) |
23 | Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao |
A Verification Method for Temporal Consistency of Service Flow. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking |
23 | Xingming Zhang 0001, Dian Liu, Jianfu Chen |
An Illumination Independent Face Verification Based on Gabor Wavelet and Supported Vector Machine. |
ICIC (3) |
2008 |
DBLP DOI BibTeX RDF |
Supported Vector Machine, Illumination, gabor wavelet, Face Verification |
23 | Jianfu Chen, Xingming Zhang 0001, Jinsheng Li |
Face Verification Based on AdaBoost Learning for Histogram of Gabor Phase Patterns (HGPP) Selection and Samples Synthesis with Quotient Image Method. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
Gabor Phase, HGPP, Quotient Image, Synthesize Samples, AdaBoost, Illumination invariance, Face Verification |
23 | Youngsik Kim, Nazanin Mansouri |
Automated formal verification of scheduling with speculative code motions. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
formal verification, high level synthesis, automated theorem-proving, speculation |
23 | Andrea Fedeli, Franco Fummi, Graziano Pravadelli |
Properties Incompleteness Evaluation by Functional Verification. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
property coverage, Model checking, fault models, functional verification |
23 | Andreas Schlapbach, Horst Bunke |
A writer identification and verification system using HMM based recognizers. |
Pattern Anal. Appl. |
2007 |
DBLP DOI BibTeX RDF |
Writer verification, Off-line handwriting, HMM based handwriting recognition, Writer identification |
23 | Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd |
Web service orchestration and verification using MSC and CP nets. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
CP nets, web services, verification, composition, orchestration, MSC |
23 | Charl Johannes van Heerden, Etienne Barnard |
Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification. |
Speaker Classification (2) |
2007 |
DBLP DOI BibTeX RDF |
triphones, time durations, Hidden Markov Models, Speaker verification |
23 | Jesus Olivares-Mercado, Gabriel Sanchez-Perez, Mariko Nakano-Miyatake, Héctor M. Pérez Meana |
Feature Extraction and Face Verification Using Gabor and Gaussian Mixture Models. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
Gaussian Mixture Model, Face verification, Gabor functions |
23 | Adam D. Todd, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Steven K. Rogers |
Alert Verification Evasion Through Server Response Forging. |
RAID |
2007 |
DBLP DOI BibTeX RDF |
Alert Verification, Network Intrusion Detection, Exploits, Evasion |
23 | Chandan Karfa, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Chris Reade |
Hand-in-hand verification of high-level synthesis. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
FSMD model, formal verification, high-level synthesis, equivalence checking |
23 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of Typed Low-Level Languages. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
virtual machine, theorem proving, Java Card, bytecode verification |
23 | Jan Friso Groote, François Monin, Jan Springintveld |
A computer checked algebraic verification of a distributed summation algorithm. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL |
23 | Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou |
Program Verification by Using DISCOVERER. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation |
Displaying result #601 - #700 of 53773 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|