416 search results - page 39 / 84 » The ruby intermediate language |
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
122
Voted
POPL
2005
ACM
15 years 7 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
109
click to vote
ISMIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
110
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
134
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...