433 search results - page 8 / 87 » Administrative and Public Verifiability: Can We Have Both |
JC
2002
13 years 7 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Social media sites such as Twitter continue to grow at a fast pace. People of all generations use social media to exchange messages and share experiences of their life in a timely...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
Public portals, such as Web search engines, have been available for a number of years and corporate portals that facilitate access to enterprise information within a company, norm...
IADIS
2004
13 years 8 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
TSE
2010
13 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...