11022 search results - page 409 / 2205 » Programming Systems for Autonomy |
203
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
This paper reconsiders the threat posed by Shacham's "return-oriented programming" -- a technique by which WX-style hardware protections are evaded via carefully cr...
221
click to vote
IJCAI
2007
15 years 9 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
199
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
227
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
217
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...