816 search results - page 89 / 164 » Practical Multi-level Modeling on MOF-compliant Modeling Fra... |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
OODBS
1992
15 years 2 months ago
1992
An approach and mechanismto support the sharing of behavior amongthe component database systems in a federation is described. In the context of a functional object-based database ...
ALT
2010
Springer
14 years 11 months ago
2010
Springer
We further develop the idea that the PAC-Bayes prior can be informed by the data-generating distribution. We prove sharp bounds for an existing framework of Gibbs algorithms, and ...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...
STEP
2003
IEEE
15 years 3 months ago
2003
IEEE
The collection and use of evidence in Software Engineering practice and research are essential elements in the development of the discipline. This paper discusses the need for evi...