NDLI: Logic of knowledge and belief in the design of an integrity kernel for an office information system (abstract)

Please wait, while we are loading the content...

Touchscreen field specification for public access database queries: let your fingers do the walking

Semantics modeling issues for processing natural language database queries

A tool supporting query optimization and program transformation techniques

A two dimensional buddy system for dynamic resource allocation in a partitionable mesh connected system

Enhancing the performance of a dynamically partitionable bus network using a graph coloring algorithm

Distributed multicasting algorithm in a wide area network

Using graph distance in object recognition

Computing geographic nearest neighbors using monotone matrix searching (preliminary version)

A parallel branch and bound algorithm for solving large asymmetric traveling salesman problems

Using focusing search algorithms and a strong heuristic to solve the findpath problem in robotics

An iterative solution to the four-peg Tower of Hanoi problem

Multi-dimensional modelling and measurement of software designs

An introduction to refinement metrics: assessing a programming language's support of the stepwise refinement process

PSB graphs for simulating cooperative and distributed program behavior

An optimal fault-tolerant broadcasting algorithm for a hypercube multiprocessor

Parallel unit tangent vector computation for homotopy curve tracking on a hypercube

Efficient routing techniques for cooperating processors in dataflow computers

Computational intelligence in CAD/CAM applications

Specifying and automatically generating Ada tasks in Prolog

Objects with logic

The role of term symmetry in E-completion procedures

Transformations between tree permutations and inversion tables

A simple realization of a parallel device recognizing regular trace languages

A modification support system—automatic correction of side—effects caused by type modifications

Testing object-oriented software systems

Minimizing ripple recompilation in a persistent software environment

A symbolic substitution based parallel architecture and algorithms for high-speed parallel processing

TWIST-TOP: transputers with I-stores test out processor

Definition and analysis of a class of spanning bus orthogonal multiprocessing systems

A practical approach to error recovery for multiagent planning systems

An exact parallel algorithm for the resource constrained traveling salesman problem with application to scheduling with an aggregate deadline

An approach to natural language processing in the rule-based expert system

ALHARD: an application-oriented language for hardware simulation

On constructing binary space partitioning trees

Spacetime visualization of relativistic effects

A taxonomy for programming style

An extended type generalization of standard ML polymorphism (abstract)

ABSL: an actor-based specification language for office automation

The implementation of guaranteed, reliable, secure broadcast networks

Native code process-originated migration in a heterogeneous environment

Routing for generalized chordal rings

Towards common sense planning

Software development: image processing by template polynomials

Artificial neural system for gene classification using a domain database

Measuring data locality in internal sorting algorithms

Probabilistic diagnosis for sparsely interconnected systems

A framework for high level synthesis of digital architectures from u-recursive algorithms

A generic embedded real-time monitor subsystem

Extending the behavioral capabilities of the object-oriented paradigm with an active model of propagation

Cotools: a tool composition mechanism for object-based environments

Matching interval-valued-argument propositions in rule-based systems

Consensus in a multi-expert system

A generic framework for distributed, cooperating blackboard systems

GMM-PAM: a genetic multilevel multicategory perceptron associative memory

Neural nets for image restoration

Distributed systems and self-organization

A parallel compilation technique based on grammar partitioning

`PRABHA'—a distributed concurrency control algorithm

A formal approach to program inversion

An experiment to determine software reusability factors (abstract)

Usability tests refine requirements (abstract)

The establishment and application of a metric for graphical design language (abstract)

A study of the Prather software metric (abstract)

Distributed compilation metrics (abstract)

Increased productivity using a preprocessor for Dataflex Fourth Generation Database Language (abstract)

Data security for object-oriented programming systems based on inference engines (abstract)

A comparison of object oriented simulation languages (abstract)

Object-oriented database for intelligent engineering applications (abstract)

Structured programming in Macintosh assembly language (abstract)

Semantics in object-oriented data models (abstract)

Program structure and clarity (abstract)

A logical approach to designing procedural programming languages (abstract)

A framework for accessing data in models with many discrete states (abstract)

Simulation of an automatic banking system with the Ada programming language (abstract)

Logic of knowledge and belief in the design of an integrity kernel for an office information system (abstract)

An assumption about computer security (it ain't necessarily so.) (abstract)

Every computer programme is actually a simulation model (abstract)

A cooperative software development paradigm for content analysis-based psychology research procedures (abstract)

Query processing and file management issues in partitioned databases (abstract)

PARDES—an enhanced active database system (abstract)

Extended object oriented model to design relational databases (abstract)

A Datalog interface for SQL (abstract)

A data model for software representation (abstract)

Relational data models and category theory (abstract)

The use of fractals in visualizing iterative techniques from numerical analysis (abstract)

Exvis: the exploratory visualization tool (abstract)

On the vectorization of graph algorithms (abstract)

Ray tracing surfaces of revolution using a simplified strip tree method (abstract)

Graphically-oriented reverse engineering tools for Ada software (abstract)

An investigation into the application of a graphical, rule-based system utilizing reversible data structures as a possible model for human pedigree systems (abstract)

On some classes of Petri nets (abstract)

An adaptive concurrency control algorithm (abstract)

A service for remote computations in a distributed system (abstract)

Dynamic load balancing in distributed real-time systems (abstract)

Exploiting parallelism through run-time analysis on a vector processor (abstract)

Paradoxes in parallel processing (abstract)

An optimal parallel algorithm for the maximal element problem (abstract)

A study of control flow and data dependency interface (abstract)

A dual-algorithm performance monitoring system (abstract)

Applying statistical physics to performance analysis of large-scale computing systems (abstract)

The traveling-salesman problem (abstract)

Joint use of simulation and nonlinear curve fitting in compartmental models (abstract)

Dynamically balancing a binary tree (abstract)

Electronic studio sets controlled by a computer (abstract)

Cooperation of the pattern recognition techniques of Dirichlet tessellations with political science to produce ward partitioning of cities without bias (abstract)

Relating psychology's moral development levels to the ethical use of computers (abstract)

A real-time robot collision avoidance system (abstract)

ROBOTICS: a hands-on introduction to hardware (abstract)

IMT-RB/ED: a system based on multi-reorganization (abstract)

On expert database systems (abstract)

A hybrid architecture for neurocomputing (abstract)

Requirements for machine learning in expert systems (abstract)

Competition and cooperation in analog neural networks for combinatorial optimization (abstract)

Compact input coding for speech recognition by neural net (abstract)

An integrated authoring system for diagnostic testing (abstract)

The cross-cultural effectiveness of CAI: some cognitive and affective factors (abstract)

On algorithms for operative diagnosis of systems (abstract)

Database reasoning: extracting knowledge from databases (abstract)

Heuristic exhaustive search in automatic knowledge acquisition (abstract)

Genetic heuristics in optimization problems (abstract)

Nonparametric methods for automatic classification of documents and transactions (abstract)

Homograph discrimination for intelligent interfaces via thesaural lexicons (abstract)

An implementation of ID3 that creates executable rules (abstract)

A Prolog system for case-based classification (abstract)

Use of intelligent computer aided instruction in the classroom (abstract)

A course for the nonmajor: teaching collaborative problem solving via the classical computer science space-time tradeoff

A study of the personality types of successful computer science majors (abstract)

A chart representation for delineating computer disciplines (abstract)

Perceptions of Missouri secondary and area vocational school computer teachers toward trends of computer hardware and software technologies by year 1995 (abstract)

Parameter passing: a window into students' views of programming (abstract)

ISETL: a language for teaching discrete mathematics (abstract)

A parallel implementation of collective learning systems theory: Adaptive Learning Image Analysis System (ALIAS)

Logic of knowledge and belief in the design of an integrity kernel for an office information system (abstract)

Content Provider	ACM Digital Library
Author	Unger, E. A. Ramanna, S. Peters, J. F.
Abstract	An integrity specification language (ISL) based upon a form of interval temporal logic is defined and the framework for a logic of knowledge and beliefs about data integrity is developed. The intended purpose of ISL is for the design of integrity kernels in an office information system in which the dynamic evaluation of data integrity based upon partial knowledge and informed judgement relative to update request by clients, is required. ISL itself is described in an earlier paper and summarized in this paper. Beliefs in ISL are specified with a form of interval temporal logic and provide an extension of the Moser technique for formulating beliefs. The Clark and Wilson model designed to prevent fraudulent and erroneous data modification is subsumed. An integrity Characteristic Tuple (ICT) incorporates the notions of correctness, completeness, quality, timeliness and confidence is associated with each Constrained Data Item (CDI). An integrity system which includes extensions of the concept and function of the server architecture as defined in the Multimedia Office Server (MULTOS) project, is given. An integrity kernel is defined which incorporates an algorithm for the detection of faults in presumptions about data integrity based upon knowledge and beliefs. A simplified integrity kernel is specified formally and a corresponding sample server-client session is provided.
File Format	PDF
ISBN	0897913485
DOI	10.1145/100348.100435
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1990-01-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in