1901 search results - page 118 / 381 » Predicting Program Properties from |
130
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
143
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The p53 gene family consists of the three genes p53, p63 and p73, which have polyhedral non-overlapping functions in pivotal cellular processes such as DNA synthesis a...
130
click to vote
COREGRID
2007
Springer
15 years 9 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
107
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
129
click to vote
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...