357 search results - page 30 / 72 » From C Programs to the Configure-Execute Model |
131
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
141
click to vote
LION
2009
Springer
15 years 11 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
148
click to vote
DAWAK
2005
Springer
15 years 10 months ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
146
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...
136
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...