4386 search results - page 99 / 878 » A Tamper-Resistant Programming Language System |
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
DDEP
2000
Springer
15 years 5 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
107
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
107
click to vote
AI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...