1825 search results - page 296 / 365 » Cryptographic Securities Exchanges |
131
click to vote
USS
2010
15 years 12 days 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...
129
click to vote
CASES
2010
ACM
14 years 12 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...
201
Voted
ESORICS
2011
Springer
14 years 2 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...
114
Voted
MFCS
2004
Springer
15 years 8 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...
117
Voted
WIS
2004
15 years 3 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...