4061 search results - page 757 / 813 » Framework Evolution Tool |
180
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
129
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
140
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
131
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
151
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...