323 search results - page 29 / 65 » Verify Your Runs |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
ICSNC
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a middleware architecture for GSM mobile phones that makes applications for mobile phones platform independent to a large extent as well as the applications made using ...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...