10707 search results - page 1999 / 2142 » Designing executable abstractions |
194
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
156
click to vote
AROBOTS
2010
15 years 6 months ago
2010
Abstract Assistive mobile robots that autonomously manipulate objects within everyday settings have the potential to improve the lives of the elderly, injured, and disabled. Within...
208
click to vote
INTERNET
2008
15 years 6 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
204
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
164
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...