3994 search results - page 225 / 799 » A Linear Logical Framework |
172
click to vote
GCA
2008
15 years 8 months ago
2008
- WebDMF is a Web-based Framework for the Management of Distributed services. It is based on the Web-based Enterprise Management (WBEM) standards family and introduces a middleware...
158
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
164
click to vote
WILF
2007
Springer
16 years 21 days ago
2007
Springer
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
166
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
159
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...