1615 search results - page 156 / 323 » Adaptive programming in JAsCo |
135
Voted
CRYPTO
1991
Springer
15 years 7 months ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
155
Voted
AAAI
2007
15 years 5 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
162
click to vote
WSC
2007
15 years 5 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
97
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Software developers are frequently required to address evolving stakeholder concerns, which often result in changes to the source code of an application. Manually performing invas...
124
click to vote
DLS
2005
15 years 5 months ago
2005
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Although LISP derived languages have long had such facilities, few modern languages ar...