User profiles for T. A. Linden
Tess A. LindenComputational Biologist, Climax Foods Verified email at berkeley.edu Cited by 479 |
Operating system structures to support security and reliable software
TA Linden - ACM Computing Surveys (CSUR), 1976 - dl.acm.org
Security has become an important and challenging goal in the design of computer systems.
This survey focuses on two system structuring concepts that support security: small …
This survey focuses on two system structuring concepts that support security: small …
[PDF][PDF] Loss of schooling behavior in cavefish through sight-dependent and sight-independent mechanisms
Background Surface populations of Astyanax mexicanus, living in rivers like their common
ancestors, school, while several, independently derived cave populations of the same species …
ancestors, school, while several, independently derived cave populations of the same species …
Light-regulated collective contractility in a multicellular choanoflagellate
Collective cell contractions that generate global tissue deformations are a signature feature
of animal movement and morphogenesis. However, the origin of collective contractility in …
of animal movement and morphogenesis. However, the origin of collective contractility in …
Convergence in feeding posture occurs through different genetic loci in independently evolved cave populations of Astyanax mexicanus
When an organism colonizes a new environment, it needs to adapt both morphologically
and behaviorally to survive and thrive. Although recent progress has been made in …
and behaviorally to survive and thrive. Although recent progress has been made in …
The role of isoforms in the evolution of cryptic coloration in Peromyscus mice
A central goal of evolutionary biology is to understand the molecular mechanisms
underlying phenotypic adaptation. While the contribution of protein‐coding and cis‐regulatory …
underlying phenotypic adaptation. While the contribution of protein‐coding and cis‐regulatory …
Seasonal stability and species specificity of environmentally acquired chemical mating signals in orchid bees
Traits that mediate reproductive isolation between species, such as those involved in mate
choice and/or recognition, are predicted to experience stabilizing selection towards the …
choice and/or recognition, are predicted to experience stabilizing selection towards the …
Security kernels
…, PG Neumann, C Weissman, TA Linden - … of the May 6-10, 1974 …, 1974 - dl.acm.org
Recent experience in computer security has illustrated the susceptibility of numerous
operating systems to hostile penetration. Successful penetrations have been directed at …
operating systems to hostile penetration. Successful penetrations have been directed at …
[PDF][PDF] Authentication in office system internetworks
JE Israel, TA Linden - ACM Transactions on Information Systems (TOIS), 1983 - dl.acm.org
In an office system, anyone who can impersonate someone else successfully will be able to
avoid almost all security and accounting controls. Authentication deals with the verification of …
avoid almost all security and accounting controls. Authentication deals with the verification of …
The use of abstract data types to simplify program modifications
TA Linden - Proceedings of the 1976 conference on Data …, 1976 - dl.acm.org
If a program is structured using abstract data types as the basic unit of modularity, then that
program is much easier to extend or modify. This thesis is illustrated by the staged …
program is much easier to extend or modify. This thesis is illustrated by the staged …
A summary of progress toward proving program correctness
TA Linden - Proceedings of the December 5-7, 1972, fall joint …, 1972 - dl.acm.org
Interest in proving the correctness of programs has grown explosively within the last two or
three years. There are now over a hundred people pursuing research on this general topic; …
three years. There are now over a hundred people pursuing research on this general topic; …