702 search results - page 103 / 141 » Analysis and Performance Results of a Molecular Modeling App... |
ENTCS
2007
13 years 8 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
MR
2007
13 years 7 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
SISAP
2010
IEEE
13 years 5 months ago
2010
IEEE
Determining similarities among multimedia objects is a fundamental task in many content-based retrieval, analysis, mining, and exploration applications. Among state-of-the-art sim...
STOC
2004
ACM
14 years 8 months ago
2004
ACM
Recently, approximation analysis has been extensively used to study algorithms for routing weighted packets in various network settings. Although different techniques were applied...