Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta	Privacy in Data Mining Using Formal Methods.	TLCA	2005	DBLP DOI BibTeX RDF
15	Mark Schäfer, Walter Vogler	Component Refinement and CSC Solving for STG Decomposition.	FoSSaCS	2005	DBLP DOI BibTeX RDF
15	Michinori Nakata, Hiroshi Sakai	Rough Sets Handling Missing Values Probabilistically Interpreted.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
15	Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul	Towards the Formal Verification of Lower System Layers in Automotive Systems.	ICCD	2005	DBLP DOI BibTeX RDF
15	Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles	Formal validation of pattern matching code.	PPDP	2005	DBLP DOI BibTeX RDF	multi-match, verified code, compilation, pattern matching, term rewriting
15	Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama	Program transformation by templates based on term rewriting.	PPDP	2005	DBLP DOI BibTeX RDF	inductive theorem proving, tree homomorphism, program transformation, term rewriting
15	David Pichardie	Modular Proof Principles for Parameterised Concretizations.	CASSIS	2005	DBLP DOI BibTeX RDF
15	Tony Clear	Students becoming political and "incorrect" through agile methods.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF
15	Arun Subbiah, Douglas M. Blough	Distributed Diagnosis in Dynamic Fault Environments.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	fault tolerance, synchronous systems, Distributed diagnosis, dynamic failures
15	Christie Bolton, Gavin Lowe	Analyses of the Reverse Path Forwarding Routing Algorithm.	DSN	2004	DBLP DOI BibTeX RDF
15	Giuliano Pacini, Giuseppe Fiorentino, Annalina Fabrizio	Learning problem solving with spreadsheet and database tools.	ITiCSE	2004	DBLP DOI BibTeX RDF	self-assessment, self-learning
15	Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan	A Correct, Private, and Efficient Mix Network.	Public Key Cryptography	2004	DBLP DOI BibTeX RDF
15	Michel Paquette, Andrzej Pelc	Optimal Decision Strategies in Byzantine Environments.	SIROCCO	2004	DBLP DOI BibTeX RDF
15	Kung-Kiu Lau, Mario Ornaghi	Specifying Compositional Units for Correct Program Development in Computational Logic.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
15	Frank Lin, Teruko Mitamura	Keyword Translation from English to Chinese for Multilingual QA.	AMTA	2004	DBLP DOI BibTeX RDF
15	Yuhui Jin, Robert E. Strom	Relational subscription middleware for Internet-scale publish-subscribe.	DEBS	2003	DBLP DOI BibTeX RDF	event distribution systems, relational subscriptions, continuous queries, monotonicity
15	Houman Younessi, Panlop Zeephongsekul, Winai Bodhisuwan	A General Model of Unit Testing Efficacy.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	process efficacy, unit testing efficacy model, usability, reliability, software quality, software process, functionality, maintainability, defect management
15	Dan Boneh, Philippe Golle	Almost entirely correct mixing with applications to voting.	CCS	2002	DBLP DOI BibTeX RDF	electronic voting, mix networks
15	Daniel Powell	Deriving Verification Conditions and Program Assertions to Support Software Inspection.	APSEC	2002	DBLP DOI BibTeX RDF	practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components
15	C. A. R. Hoare	Assertions in Programming: From Scientific Theory to Engineering Practice.	Soft-Ware	2002	DBLP DOI BibTeX RDF
15	Joachim Wegener, Matthias Grochtmann	Evolutionärer Test von Realzeitsystemen.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test
15	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott	Independence in CLP languages.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	parallelism, constraint logic programming, independence
15	Todd M. Austin	DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design.	MICRO	1999	DBLP DOI BibTeX RDF
15	Ekaterina Pavlova, Dang Van Hung	A Formal Specification of the Concurrency Control in Real-Time Databases.	APSEC	1999	DBLP DOI BibTeX RDF
15	Purnendu Sinha, Neeraj Suri	On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.	RTSS	1999	DBLP DOI BibTeX RDF	Dependable Real-time Protocols, Scheduling, Formal Techniques
15	Deepak Kapur, Mahadevan Subramaniam	Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.	ASIAN	1998	DBLP DOI BibTeX RDF
15	John Hannan	Searching For Semantics.	PEPM	1993	DBLP DOI BibTeX RDF
15	Mads Nygård, Sintef Delab	Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database.	PARLE	1993	DBLP DOI BibTeX RDF
15	Wolfgang Reif	Verification of Large Software Systems.	FSTTCS	1992	DBLP DOI BibTeX RDF
15	Khaled M. Elleithy, Magdy A. Bayoumi	A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
15	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
15	N. W. P. van Diepen	Implementation of Modular Algebraic Specifications.	ESOP	1988	DBLP DOI BibTeX RDF
15	Tobias Nipkow	Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types?	STACS	1987	DBLP DOI BibTeX RDF
15	Stephen D. Brookes	A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
15	Edmund M. Clarke, Steven M. German, Joseph Y. Halpern	On Effective Axiomatizations of Hoare Logics.	POPL	1982	DBLP DOI BibTeX RDF
15	Takuya Katayama, Yutaka Hoshino	Verification of Attribute Grammars.	POPL	1981	DBLP DOI BibTeX RDF
15	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
15	Glen E. Newton	Proving Properties of Interacting Processes.	Acta Informatica	1974	DBLP DOI BibTeX RDF
12	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
12	Akhil Kumar 0001, Anup K. Sen, Meda H. Sundari, Amitava Bagchi	Semantic Notions of Weakly Correct AND/XOR Business Workflows Based on Partial Synchronization.	IEEE SCC	2011	DBLP DOI BibTeX RDF	AND/XOR graphs, s-correctness, partial synchronization, corresponding pairs, r-soundness
12	Abdoulaye Gamatié, Vlad Rusu, Éric Rutten	Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.	ISPDC	2010	DBLP DOI BibTeX RDF	Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
12	Amirreza Tahamtan, Johann Eder	Privacy Preservation Through Process Views.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Privacy, Abstraction, Aggregation, Correctness, Process Views
12	Minoru Nakayama, Yuko Hayashi	Estimation of viewer's response for contextual understanding of tasks using features of eye-movements.	ETRA	2010	DBLP DOI BibTeX RDF	answer correctness, eye-movement metrics, user's response estimation, eye-movements, discriminant analysis
12	Olivier Coudert	An efficient algorithm to verify generalized false paths.	DAC	2010	DBLP DOI BibTeX RDF	co-sensitization, generalized false path, timing exception, formal verification, correctness, SAT, sensitization, false path, SDC
12	Dario Colazzo, Carlo Sartiani	Detection of corrupted schema mappings in XML data integration systems.	ACM Trans. Internet Techn.	2009	DBLP DOI BibTeX RDF	mapping correctness, XML, data integration, type systems, p2p systems, type inference, data exchange
12	Long Lin, Chee-Keng Yap	Adaptive isotopic approximation of nonsingular curves: the parametrizability and nonlocal isotopy approach.	SCG	2009	DBLP DOI BibTeX RDF	curve approximation, exact numerical algorithm, parametrizability, topological correctness, meshing, isotopy, subdivision algorithm
12	Anup Kumar Bandyopadhyay	Weakest precondition based verification tool that models spatial ordering.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	spatial ordering, distributed systems, correctness, weakest precondition
12	Xavier Leroy, Sandrine Blazy	Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness
12	Yixiang Chen, Hengyang Wu	Semantics of sub-probabilistic programs.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	sub-probabilistic programs, wp-calculus, total correctness
12	Leo Freitas, Jim Woodcock 0001	Mechanising Mondex with Z/Eves.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
12	Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
12	Cezara Dragoi, Gheorghe Stefanescu	On Compiling Structured Interactive Programs with Registers and Voices.	SOFSEM	2008	DBLP DOI BibTeX RDF	structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness
12	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
12	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Ordering of events in two-process concurrent system.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
12	Michinori Nakata, Hiroshi Sakai	Lower and Upper Approximations in Data Tables Containing Possibilistic Information.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	Imprecise value, Correctness criterion, Weighted equivalence class, Rough sets, Lower and upper approximations
12	Jeremy E. Dawson	Formalising Generalised Substitutions.	TPHOLs	2007	DBLP DOI BibTeX RDF	general correctness, generalised substitution
12	John K. Debenham	Maintaining knowledge with a formal model.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Knowledge-based systems, Conceptual modelling, Maintenance, Correctness
12	Andrei V. Klimov	Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence
12	Nicolas Guelfi, Amel Mammar	A formal framework to generate XPDL specifications from UML activity diagrams.	SAC	2006	DBLP DOI BibTeX RDF	XPDL language, transformations, correctness proofs, UML activity diagrams
12	Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson	Type-theoretic design patterns.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern
12	Jean-Raymond Abrial	Formal methods in industry: achievements, problems, future.	ICSE	2006	DBLP DOI BibTeX RDF	formal method, correctness, development process, B, train system
12	Gerhard Gröger, Lutz Plümer	How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS.	GeoInformatica	2005	DBLP DOI BibTeX RDF	2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D
12	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
12	Ilana Bass, Dvir Lanzberg	Teaching to analyze solutions using FGA.	ITiCSE	2005	DBLP DOI BibTeX RDF	correctness analysis, pseudo code, data structures, algorithm design
12	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
12	Laurent Fribourg, Stéphane Messika	Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.	PODC	2005	DBLP DOI BibTeX RDF	fault tolerance, verification, correctness, rates of convergence, randomized distributed algorithms
12	Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman	Exploiting suspected redundancy without proving it.	DAC	2005	DBLP DOI BibTeX RDF	correctness-preserving transformations, sequential equivalence, sequential redundancy removal, checking
12	Nikola Milanovic, Miroslaw Malek	Architectural Support for Automatic Service Composition.	IEEE SCC	2005	DBLP DOI BibTeX RDF	Web services, architecture, trust, search, correctness, automatic service composition
12	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Adding the leads-to operator to Dijkstra's calculus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition
12	Virginia Niculescu	On Data Distributions in the Construction of Parallel Programs.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	complexity, parallel computation, distribution, correctness, numerical algorithms
12	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
12	John Teifel, Rajit Manohar	Highly pipelined asynchronous FPGAs.	FPGA	2004	DBLP DOI BibTeX RDF	concurrency, pipelining, asynchronous circuits, programmable logic, correctness by construction
12	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
12	Laura K. Dillon, Kurt Stirewalt	Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness
12	Stacy J. Prowell, Jesse H. Poore	Foundations of Sequence-Based Software Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	sequence-based specification, trace specification, consistency, completeness, correctness, requirements analysis, Software specification
12	Emil Sekerinski	Exploring Tabular Verification and Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Program development, Program specification, Program correctness, Tabular expressions
12	Jei-Wen Teng, Yih-Kuen Tsay	Composing Temporal-Logic Specifications with Machine Assistance.	FME	2003	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
12	Rex L. Page	Software is discrete mathematics.	ICFP	2003	DBLP DOI BibTeX RDF	software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic
12	Yasuhiko Minamide, Koji Okuma	Verifying CPS transformations in Isabelle/HOL.	MERLIN	2003	DBLP DOI BibTeX RDF	program transformation, theorem proving, correctness proofs
12	Gerhard Gröger, Lutz Plümer	Exploiting 2D concepts to achieve consistency in 3D GIS applications.	GIS	2003	DBLP DOI BibTeX RDF	GIS, maps, consistency, completeness, 3D, correctness, axioms
12	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	A graph-based formalism for RBAC.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations
12	Premkumar T. Devanbu, Stuart G. Stubblebine	Stack and Queue Integrity on Hostile Platforms.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	correctness of memories, oblivious ram, security, data structures, software protection
12	Mathias Weske	Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System.	HICSS	2001	DBLP DOI BibTeX RDF	Object-Oriented Design, Workflow Management, Adaptive Workflows, Correctness Criteria
12	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
12	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
12	Michael W. Whalen	High-integrity code generation for state-based formalisms.	ICSE	2000	DBLP DOI BibTeX RDF	correctness preserving code generation, formal methods, code optimization
12	Monika Kapus-Kolar	Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis
12	José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán	A Distributed Deadlock Resolution Algorithm for the AND Model.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
12	Perdita Stevens	A Verification Tool Seveloper's Vade Mecum.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Software engineering, Quality, Correctness, Verification tools
12	Fatima Z. Mansouri, Cleveland Augustine Gibbon, Colin A. Higgins	PRAM: prolog automatic marker.	ITiCSE	1998	DBLP DOI BibTeX RDF	complexity, education, testing, metrics, Prolog, correctness, style, automatic marking
12	Hagen Völzer	Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.	ACSD	1998	DBLP DOI BibTeX RDF	Modelling, Petri nets, Formal verification, Temporal logic, Correctness, Fault-tolerant algorithms
12	Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson	A Formally Verified Sorting Certifier.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	software correctness, certification trails, program result checking, Sorting, formal program verification
12	Rumen Andonov, Sanjay V. Rajopadhye	Knapsack on VLSI: from Algorithm to Optimal Circuit.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Application specific VLSI design, unbounded knapsack problem, space-time transformations, recurrence equations, dynamic dependencies, nonlinear discrete optimization, correctness preserving transformations, systolic arrays
12	Ayman M. Wahba, Dominique Borrione	A method for automatic design error location and correction in combinational logic circuits.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	design correctness, design error diagnosis, design debugging
12	Peter F. A. Middelhoek, Sreeranga P. Rajan	From VHDL to efficient and first-time-right designs: a formal approach.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	CDFG, SFG, rapid system prototyping, VHDL, VHDL, design methodology, correctness by construction, transformational design
12	Naftaly H. Minsky, Victoria Ungureanu, Junbiao Zhang, Wenhui Wang	Building reconfiguration primitives into the law of a system.	CDS	1996	DBLP DOI BibTeX RDF	softwar reconfiguration primitives, reconfiguration suite, primitive operations, reconfiguration suites, Moses, LGI, distributed systems, agents, distributed processing, rules, software reusability, correctness, configuration management, toolkit, software development management, law, architectural model, system functionality, law-governed interaction
12	Vinay K. Chaudhri, Vassos Hadzilacos	Safe Locking Policies for Dynamic Databases.	PODS	1995	DBLP DOI BibTeX RDF	correctness issues, concurrency control
12	Daniel L. Palumbo	The Derivation and Experimental Verification of Clock Synchronization Theory.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	clock synchronization theory, Interactive Convergence Clock Synchronization Algorithm, Mid-Point Algorithm, clock circuitry, operating conditions, worst case failures, experimental verification, formal methods, formal verification, synchronisation, clock synchronization, clock skew, byzantine failure, proof of correctness, failure modes, timing circuits, malicious failures
12	Du Zhang, Doan Nguyen	PREPARE: A Toll for Knowledge Base Verification.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	PREPARE, knowledge base verification, reliable knowledge-based systems, potential errors, predicate/transition net representation, incomplete rules, syntactic pattern recognition method, fully functioning inference engine, pattern recognition, knowledge based systems, program verification, logic, correctness, semantic networks, automated tool
12	Nabil R. Adam	A New Dynamic Voting Algorithm for Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems