11345 search results - page 45 / 2269 » Foundations of Computer Science |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
GI
2009
Springer
13 years 7 months ago
2009
Springer
: Over time, large scale pickup and delivery providers acquire considerable amounts of data on customer orders, including order times, amount and configurations of freight, as well...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: Out-of-Home (OOH) advertising is currently advancing into a new era: “pervasive advertising” is one of the buzz words describing a soft change from the traditional push-only ...
ASIACRYPT
2011
Springer
12 years 10 months ago
2011
Springer
We present a generic method to secure various widely-used cryptosystems against arbitrary side-channel leakage, as long as the leakage adheres three restrictions: first, it is bou...
ACMSE
2009
ACM
14 years 4 months ago
2009
ACM