3718 search results - page 498 / 744 » Programming by Integration in Robotics |
194
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
193
click to vote
ICALT
2005
IEEE
16 years 23 days ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
201
click to vote
VSTTE
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
186
click to vote
DRM
2003
Springer
16 years 11 days ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
191
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...