3605 search results - page 97 / 721 » Analysis and Applications of the XDI model |
107
click to vote
JUCS
2008
15 years 19 days ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 6 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
99
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
116
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper, we present a method for predictive modeling of anatomic structures using canonical correlation analysis (CCA). Using this technique, certain anatomical structures, ...
124
Voted
BMCBI
2007
2007
Penalized likelihood for sparse contingency tables with an application to full-length cDNA libraries
15 years 24 days ago
Background: The joint analysis of several categorical variables is a common task in many areas of biology, and is becoming central to systems biology investigations whose goal is ...