scholarly journals Computer-Aided Identification and Validation of Privacy Requirements

Information ◽  
2016 ◽  
Vol 7 (2) ◽  
pp. 28 ◽  
Author(s):  
Rene Meis ◽  
Maritta Heisel
Keyword(s):  
Privacy Requirements ◽  
Computer Aided

scholarly journals FROM HIPPOCRATIC DATABASES TO SECURE TROPOS: A COMPUTER-AIDED RE-ENGINEERING APPROACH

2007 ◽  
Vol 17 (02) ◽  
pp. 265-284 ◽  
Author(s):  
FABIO MASSACCI ◽  
JOHN MYLOPOULOS ◽  
NICOLA ZANNONE
Keyword(s):  
Access Control ◽  
Privacy Protection ◽  
Personal Data ◽  
Control Mechanisms ◽  
Functional Requirements ◽  
Privacy Requirements ◽  
Engineering Approach ◽  
Computer Aided

Privacy protection is a growing concern in the marketplace. Yet, privacy requirements and mechanisms are usually retro-fitted into a pre-existing design which may not be able to accommodate them due to potential conflicts with functional requirements. We propose a procedure for automatically extracting privacy requirements from databases supporting access control mechanisms for personal data (hereafter Hippocratic databases) and representing them in the Secure Tropos framework where tools are available for checking the correctness and consistency of privacy requirements. The procedure is illustrated with a case study.

Computer-aided methods for 3-D visualization of serial sections and thick biological specimens

1992 ◽  
Vol 50 (2) ◽  
pp. 1060-1061
Author(s):  
Mark Ellisman ◽  
Maryann Martone ◽  
Gabriel Soto ◽  
Eleizer Masliah ◽  
David Hessler ◽  
...  
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Three Dimensional ◽  
Neuritic Plaque ◽  
Dimensional Structure ◽  
Data Sets ◽  
Molecular Physiology ◽  
Research Activities ◽  
Computer Aided ◽  
Dimensional Reconstruction

Structurally-oriented biologists examine cells, tissues, organelles and macromolecules in order to gain insight into cellular and molecular physiology by relating structure to function. The understanding of these structures can be greatly enhanced by the use of techniques for the visualization and quantitative analysis of three-dimensional structure. Three projects from current research activities will be presented in order to illustrate both the present capabilities of computer aided techniques as well as their limitations and future possibilities.The first project concerns the three-dimensional reconstruction of the neuritic plaques found in the brains of patients with Alzheimer's disease. We have developed a software package “Synu” for investigation of 3D data sets which has been used in conjunction with laser confocal light microscopy to study the structure of the neuritic plaque. Tissue sections of autopsy samples from patients with Alzheimer's disease were double-labeled for tau, a cytoskeletal marker for abnormal neurites, and synaptophysin, a marker of presynaptic terminals.

Three-Dimensional Subcellular Organization of Hepatocytes in Intact Liver: Simultaneous Visualization of Cytoskeletal and Membrane Markers by Confocal Microscopy

1996 ◽  
Vol 54 ◽  
pp. 288-289
Author(s):  
Greg V. Martin ◽  
Ann L. Hubbard
Keyword(s):  
Three Dimensional ◽  
Integral Membrane Proteins ◽  
Polarized Secretion ◽  
Microscope Images ◽  
Computer Aided ◽  
Intracellular Organelles ◽  
Cytoskeletal Elements ◽  
Simultaneous Visualization

The microtubule (MT) cytoskeleton is necessary for many of the polarized functions of hepatocytes. Among the functions dependent on the MT-based cytoskeleton are polarized secretion of proteins, delivery of endocytosed material to lysosomes, and transcytosis of integral plasma membrane (PM) proteins. Although microtubules have been shown to be crucial to the establishment and maintenance of functional and structural polarization in the hepatocyte, little is known about the architecture of the hepatocyte MT cytoskeleton in vivo, particularly with regard to its relationship to PM domains and membranous organelles. Using an in situ extraction technique that preserves both microtubules and cellular membranes, we have developed a protocol for immunofluorescent co-localization of cytoskeletal elements and integral membrane proteins within 20 µm cryosections of fixed rat liver. Computer-aided 3D reconstruction of multi-spectral confocal microscope images was used to visualize the spatial relationships among the MT cytoskeleton, PM domains and intracellular organelles.

Technology or Talk: The Efficacy of Computer-Aided Psychotherapy

PsycCRITIQUES ◽  
2007 ◽  
Vol 52 (44) ◽  
Author(s):  
Benjamin M. Ogles
Keyword(s):  
Computer Aided
Sign in / Sign up

Export Citation Format

Share Document