2766 search results - page 203 / 554 » Hybridizing a Logical Framework |
137
Voted
COMPSAC
2003
IEEE
15 years 10 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...
125
click to vote
GCC
2003
Springer
15 years 9 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...
168
click to vote
DBPL
1995
Springer
15 years 8 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
203
Voted
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
125
Voted
WWW
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...