215 search results - page 40 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
85
Voted
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
93
Voted
LAWEB
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
69
Voted
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
ESWS
2005
Springer
15 years 3 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
72
Voted
TYPES
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...