23036 search results - page 116 / 4608 » Sketching informal presentations |
IJDE
2006
14 years 10 months ago
2006
Nowadays there are many tools for the extraction of data objects [SWGDE] from SIM cards; unfortunately, most of them are proprietary, or their use is restricted to law enforcement...
SYNTHESE
2008
14 years 10 months ago
2008
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
APAL
2004
14 years 10 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
CONCURRENCY
2000
14 years 9 months ago
2000
Javelin is a Java-based infrastructure for global computing. This paper presents Javelin++, an extension of Javelin, intended to support a much larger set of computational hosts. ...
118
click to vote
ICFP
2012
ACM
13 years 12 days ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...