1825 search results - page 296 / 365 » Cryptographic Securities Exchanges |
103
click to vote
USS
2010
14 years 9 months ago
2010
Current Electronic Toll Pricing (ETP) implementations rely on on-board units sending fine-grained location data to the service provider. We present , a privacy-preserving ETP syst...
100
click to vote
CASES
2010
ACM
14 years 9 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
163
click to vote
ESORICS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
MFCS
2004
Springer
15 years 5 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
WIS
2004
15 years 1 months ago
2004
: To enable users to utilize the services of various providers of multimedia services based on the session initiation protocol (SIP), some kind of interaction is required between t...