15888 search results - page 320 / 3178 » Supporting human-intensive systems |
190
click to vote
NAR
2000
15 years 7 months ago
2000
The WIT (What Is There) (http://wit.mcs.anl.gov/WIT2/ ) system has been designed to support comparative analysis of sequenced genomes and to generate metabolic reconstructions bas...
223
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
220
click to vote
IFM
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
177
Voted
JNS
2010
15 years 6 months ago
2010
We study soliton solutions to the nonlinear Schr¨odinger equation (NLS) with a saturated nonlinearity. NLS with such a nonlinearity is known to possess a minimal mass soliton. We ...
190
Voted
FOCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--The generalized nested dissection method, developed by Lipton, Rose, and Tarjan, is a seminal method for solving a linear system Ax = b where A is a symmetric positive de...