Search results

Conceptual models range in type from the more concrete, such as the mental image of a familiar physical object, to the formal generality and abstractness of mathematical...

abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models. Abstract...

A data model is an abstract model that organizes elements of data and standardizes how they relate to one another and to the properties of real-world entities...

and the abstract state spaces are Galois connected. This means that if we take an element from the abstract space, concretize it and abstract the concretized...

Latin modulus, a measure. Models can be divided into physical models (e.g. a ship model or a fashion model) and abstract models (e.g. a set of mathematical...

In computer science, an abstract machine is a theoretical model that allows for a detailed and precise analysis of how a computer system functions. It...

an abstract model of networking, called the Basic Reference Model or seven-layer model, and a set of specific protocols. The OSI reference model was...

An operating model is both an abstract and visual representation (model) of how an organization delivers value to its customers or beneficiaries as well...

particular ball. In a type–token distinction, a type (e.g., a 'ball') is more abstract than its tokens (e.g., 'that leather soccer ball'). Abstraction in its...

such as ML or Haskell. A fully abstract model for PCF was first given by Robin Milner. However, since Milner's model was essentially based on the syntax...

counterexample-driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties. The abstraction is constructed...

political layer on top of the 7-layer OSI model of computer networking. The OSI model is a 7-layer abstract model that describes an architecture of data...

information into an abstract model, which can be used as a guide for designing the new object or system. Review is the testing of the model to ensure the validity...

detection. Abstract semantic graph (ASG), also called term graph Composite pattern Control-flow graph Directed acyclic graph (DAG) Document Object Model (DOM)...

There are three basic types of sub-models within an end-to-end BPMN model: Private (internal) business processes, Abstract (public) processes, and Collaboration...

arising from model theory (such as compactness for infinitary logics) have been shown to be equivalent to large cardinal axioms. Abstract model theory Algebraic...

In computer science, an instruction set architecture (ISA) is an abstract model that generally defines how software controls the CPU in a computer or a...

same level of abstraction as the model. These test cases are collectively known as an abstract test suite. An abstract test suite cannot be directly executed...

algebraization of deductive systems, based on the Lindenbaum–Tarski algebra Abstract model theory Löwenheim number – smallest cardinal number for which a weak...

In computer science, an abstract data type (ADT) is a mathematical model for data types, defined by its behavior (semantics) from the point of view of...