1159 search results - page 8 / 232 » On The Next Move in Programming |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
: We will try to tackle both the theoretical and practical aspects of a very important problem in chess programming as stated in the title of this article
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
DGO
2006
13 years 11 months ago
2006
Large volume public comment campaigns and web portals that encourage the public to customize form letters produce many near-duplicate documents, which increases processing and sto...
VEE
2009
ACM
14 years 4 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
ICAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...