Sciweavers

2878 search results - page 48 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
BIB
2010
129views more  BIB 2010»
13 years 8 months ago
Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
Peter D. Karp, Suzanne M. Paley, Markus Krummenack...
AAAI
2008
13 years 10 months ago
Learning to Analyze Binary Computer Code
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller...
COMPSAC
2009
IEEE
14 years 2 months ago
Integrating System Modeling with Project Management - A Case Study
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
Jonas Helming, Jörn David, Maximilian Koegel,...
MICCAI
2004
Springer
14 years 9 months ago
An Analysis Tool for Quantification of Diffusion Tensor MRI Data
A software tool for analyzing Diffusion Tensor MRI (DT-MRI) data is presented. The tool includes methods for segmentation of white matter for automatic definition of seed points fo...
Hae-Jeong Park, Martha Elizabeth Shenton, Carl-Fre...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 1 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser