Sciweavers

3885 search results - page 318 / 777
» Clarifying Goal Models
Sort
View
DILS
2007
Springer
15 years 10 months ago
Accelerating Disease Gene Identification Through Integrated SNP Data Analysis
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
Paolo Missier, Suzanne M. Embury, Cornelia Hedeler...
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 10 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
APSEC
2004
IEEE
15 years 10 months ago
A Comparative Analysis of Architecture Frameworks
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
Antony Tang, Jun Han, Pin Chen
CBMS
2004
IEEE
15 years 10 months ago
Image Segmentation of Uterine Cervix Images for Indexing in PACS
The National Cancer Institute has collected a large database of digitized 35mm slides of the uterine cervix, the idea being to build a system enabling to study the evolution of le...
Shiri Gordon, Gali Zimmerman, Hayit Greenspan
WSC
2008
15 years 9 months ago
Using simulation in the implementation of an Outpatient Procedure Center
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
Todd R. Huschka, Brian T. Denton, Bradly J. Narr, ...