Sciweavers

118 search results - page 14 / 24
» HIDE: An Integrated System for Health Information DE-identif...
Sort
View
ISORC
1999
IEEE
15 years 1 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
CBMS
2003
IEEE
15 years 2 months ago
A Clinical Report Management System Based upon the DICOM Structured Report Standard
Nowadays, several health institutions already use clinical report systems. However the majority of these systems do not comply with any standard for codification, storage and tran...
Mariana Kessler Bortoluzzi, Aldo von Wangenheim, K...
CSB
2005
IEEE
210views Bioinformatics» more  CSB 2005»
15 years 3 months ago
Problem Solving Environment Approach to Integrating Diverse Biological Data Sources
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
Eric G. Stephan, Kyle R. Klicker, Mudita Singhal, ...
ICSE
2008
IEEE-ACM
15 years 10 months ago
Developing a security protocol for a distributed decision support system in a healthcare environment
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
Liang Xiao 0002, Paul H. Lewis, Alex Gibb
85
Voted
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening