108 search results - page 20 / 22 » Formal Modeling and Analysis of the HLA Component Integratio... |
DATE
2004
IEEE
14 years 8 days ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
DOCENG
2008
ACM
13 years 10 months ago
2008
ACM
In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates the major structure, and that require int...
BMCBI
2010
13 years 8 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
JOCN
2010
13 years 7 months ago
2010
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
SC
2005
ACM
14 years 2 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...