2436 search results - page 457 / 488 » Comonadic Notions of Computation |
151
Voted
PEPM
2010
ACM
16 years 18 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
145
Voted
PEPM
2009
ACM
16 years 18 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
127
click to vote
HRI
2010
ACM
15 years 10 months ago
2010
ACM
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
115
Voted
CCS
2010
ACM
15 years 10 months ago
2010
ACM
In an attribute-based signature (ABS), users sign messages with any predicate of their attributes issued from an attribute authority. Under this notion, a signature attests not to...
145
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...