6201 search results - page 346 / 1241 » Implementation of Axiomatic Language |
151
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
180
click to vote
NLDB
2007
Springer
16 years 28 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
156
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
— We discuss the challenges involved in adapting the OntoSem natural language processing system to the Web. One set of tasks involves processing Web documents, translating their ...
164
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
190
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...