4386 search results - page 566 / 878 » A Tamper-Resistant Programming Language System |
280
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
313
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
180
click to vote
ASM
2010
ASM
16 years 4 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
187
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
TuTalk supports the rapid development of dialogue agents for learning applications. It enables an experimenter to create a dialogue agent with either minimal or no programming and ...
171
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...