Results 261 to 270 of about 593,446 (298)

Specific and Non-Specific Immunity to Haemoprotozoa

The American Journal of Tropical Medicine and Hygiene, 1977
Immunity to haemoprotozoa is complex, involving several components that interact in ways that vary from one host-parasite combination to another. In recent years, most attention has been given to antibody formation, which is relatively easily measured. It has been suggested that antibodies interfere with the penetration of merozoites into erythrocytes,
A C, Allison, I A, Clark
openaire   +2 more sources

Specific and non-specific autoreactive immunity

Journal of Autoimmunity, 1992
Most autoimmune diseases are HLA-associated which supports the notion that they are dependent upon specific immune activation of a limited set of T cell clones. Findings which imply that induction of autoimmune reactivity probably does not differ from normal immune responses are discussed. The possibility of transferring autoimmune disease using T cell
E, Möller, M A, Valugerdi, A, Ridderstad   +2 more
openaire   +2 more sources

The Specification of Assemblers

IEEE Transactions on Software Engineering, 1976
The problem of applying formal techniques of program specification and verification to large complex programs is considered. It is argued that a practical solution requires a variety of techniques, including both procedural and nonprocedural specifications, hierarchical program organization, and the use of program transformations. In particular, a case
openaire   +2 more sources

Substrate specificity of a human-specific esterase

Analytical Biochemistry, 1973
Abstract A human species-specific esterase has been identified in tissues, cell cultures, and urine. It is the most slowly migrating (i.e., cathodal) of the esterase isoenzymes in agarose electrophoresis; it is not a choline estrase, a pseudocholine esterase, an acetyl phenylalanine-3-naphthyl esterase or N -benzoyl-arginine-3-naphthyl esterase ...
D, Munjal, N R, Rose
openaire   +2 more sources

The specification statement

ACM Transactions on Programming Languages and Systems, 1988
Dijkstra's programming language is extended by specification statements , which specify parts of a program “yet to be developed.” A weakest precondition semantics is given for these statements so that the extended language has a meaning as precise as the original.
openaire   +1 more source

On the lattice of specifications: Applications to a specification methodology

Formal Aspects of Computing, 1992
Abstract In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.
Noureddine Boudriga, Fathi Elloumi, Ali Mili 0001   +2 more
openaire   +1 more source

Transformation of Lotos specifications to Estelle specifications

Proceedings Second IEEE Symposium on Computer and Communications, 2002
A technique for the automated transformation of a Lotos specification to an Estelle specification is presented. First, a restricted behaviour tree is constructed from the Lotos specification in a somewhat similar way to generating a reachability tree for a finite-state machine.
Hazem El-Gendy, Hoda Baraka
openaire   +1 more source

Specification of Nonmonotonic Reasoning

Journal of Applied Non-Classical Logics, 1996
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first Level is defined semantically by the notion of belief state frame, the second Level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the Levels: (/)
Joeri Engelfriet, Jan Treur
openaire   +5 more sources

Specification of schedulers with algebraic specification techniques

1982
The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques.
Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura   +3 more
openaire   +1 more source

Techniques for Partial Specification and Specification of Switching Systems

1991
This paper reports on results obtained by specifying the connection patterns within a small PBX using Z. We discuss techniques for specification of switching systems, including how to model the state space of a feature-rich switching system, how to use the schema calculus for organizing a complex operation set, and how to realize the potential benefits
Pamela Zave, Michael Jackson 0001
openaire   +1 more source