1833 search results - page 47 / 367 » Mechanized Verification with Sharing |
134
click to vote
BIOSIG
2008
15 years 2 months ago
2008
: Authentication based on biometrics became significantly important over the last years. Privacy and security concerns arise by the extensive deployment of biometrics. The used bio...
92
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Certain observable features (tags), shared by a group of similar agents, can be used to signal intentions and can be effectively used to infer unobservable properties. Such infere...
124
Voted
TOPLAS
2008
15 years 16 days ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
95
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Tags or observable features shared by a group of similar agents are effectively used in real and artificial societies to signal intentions and can be used to infer unobservable ...
110
Voted
CF
2010
ACM
15 years 5 months ago
2010
ACM
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...