Results 101 to 110 of about 512,676 (214)
Definitive principles and the specification of software [PDF]
We investigate a novel approach to programming and specification that aims to support both incremental development and interactive validation. The specification of the behaviour of several agents interacting in a room is viewed as a process of design and
Russ, Steve +4 more
core
An omega-complete Equational Specification of Interleaving [PDF]
, 2000 We consider the process theory $PA$ that includes an operation for parallel composition, based on the interleaving paradigm. We prove that the standard set of axioms of $PA$ is not $omega$-complete by providing a set of axioms that are valid in $PA$,
Fokkink, W.J. (Wan) +6 more
core
A Host System for Form Tolerance Specification in the Next-generation GPS based on AutoCAD
, 2009 Geometrical specification is the bridge to link function, design, manufacture and verification together for a product. The next-generation GPS utilizes duality principle to tightly combine specification and verification of a geometrical product, and to ...
Lan, Xiangqi +3 more
core
Requirements-Based Access Control Analysis and Policy Specification
, 2005 Access control is a mechanism for achieving confidentiality and integrity in software systems. Access control policies (ACPs) define how access is managed and the high-level rules of who can access what information under certain conditions. Traditionally,
He, Qingfeng
core
Tissue-specific and species-specific esterases [PDF]
Biochemical Journal, 1961 J, PAUL, P, FOTTRELL
openaire +2 more sources
An ANOVA method of evaluating the specification uncertainty in roughness measurement
, 2015 The specifications of roughness used in industry are normally incomplete, and the incompleteness can induce a significant uncertainty, called specification uncertainty.
Ding, Hao +4 more
core
, 2016 A person specification, also referred to as job specification, forms one of two parts of job analysis. The first part of job analysis involves the development of a formal job description to list and describe the position’s tasks and duties detailing the ...
Ressia, Susan
core
Patient-derived induced pluripotent stem cells for precision modelling of monogenic beta cell disorders. [PDF]
Front Endocrinol (Lausanne)Deng L, Krishnamurthy M.
europepmc +1 more source
Sevenless: its function and structure in the specification of the Drosophila R7 photoreceptor. [PDF]
GeneticsTomlinson A.
europepmc +1 more source