4386 search results - page 719 / 878 » A Tamper-Resistant Programming Language System |
145
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
162
click to vote
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
125
click to vote
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
242
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
154
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...