10159 search results - page 1736 / 2032 » System Design Validation Using Formal Models |
173
Voted
SERP
2003
15 years 8 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
301
click to vote
ICDE
1995
IEEE
16 years 8 months ago
1995
IEEE
We describe a two-level client-side cache for composite objects mapped as views of a relational database. A semantic model, the Structural Model, is used to specify joins on the r...
176
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Genetic programming has been considered a promising approach for function approximation since it is possible to optimize both the functional form and the coefficients. However, it...
189
click to vote
IADIS
2003
15 years 8 months ago
2003
Avionics data at the National Aeronautics and Space Administration’s (NASA) Jet Propulsion Laboratory (JPL) consists of distributed, unmanaged, and heterogeneous information tha...
170
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
In analyzing the proteome using mass spectrometry, the mass values help identify the molecules, and the intensities help quantify them, relative to their abundance in other sample...