67 search results - page 14 / 14 » Constructing Electronic Marketplaces using Peer-to-Peer Tech... |
AOSD
2009
ACM
14 years 3 days ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
TISSEC
2010
13 years 8 hour ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...