4324 search results - page 593 / 865 » A Generalized Representer Theorem |
183
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
327
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
232
click to vote
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
228
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
184
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...