MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "To Certify or Not to Certify." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

67 documents found, showing 1 through 10. Next 10 →

ATOM

Signature of Author Certified by. Certified by Certified by
by Thomas E. Abell, Massachuse S Instlruteassociate Dean, Thomas E. Abell — 1995
… AT THE MASSACHUSETTS INSTITUTE OF TECHNOLOGY Signature of Author Certified by. Certified by Certified by Accepted…
Add To MetaCart

The Design and Implementation of a Certifying Compiler
by George C. Necula , Peter Lee — 1998
…Abstract The Design and Implementation of a Certifying Compiler This paper presents the design…
Cited by 225 (9 self) – Add To MetaCart

Certification Disclosure And Informational Efficiency: A Case For Ordered Ranking Of Levels
by Gerardo A. Guerra, Gerardo A. Guerra — 2001
….guerra@(email omitted);, gguerra@(email omitted); ABSTRACT This paper shows that a monopolistic certifying party can have incentives…
Add To MetaCart

Establishing and protecting digital identity in federation systems
by Anna C. Squicciarini — 2005 — In Proceedings of the 2005 ACM Workshop on Digital Identity Management
… user can leverage this SSO ID to establish certified and un-certified user identity attributes without…
Cited by 4 (0 self) – Add To MetaCart

Semantics guided regression test cost reduction
by David Binkley — 1997 — IEEE Transactions on Software Engineering
… called differences that captures the semantic change between certified, apreviously tested program…
Cited by 36 (2 self) – Add To MetaCart

Controlled physical random functions
by Blaise Gassend, Dwaine Clarke, Marten Van Dijk, Srinivas Devadas — 2002 — In Proceedings of the 18th Annual Computer Security Conference
… can be used to enable a wide range of applications. We describe certified execution, where a…
Cited by 22 (8 self) – Add To MetaCart

Tashkent: uniting durability with transaction ordering for high-performance scalable database replication
by Sameh Elnikety, Steven Dropsho, Fernando Pedone — 2006 — In EuroSys 2006: Proceedings of the 1st European Conference on Computer Systems
… the transaction aborts. The certifier performs certification and assigns a global total order to the commits…
Cited by 13 (3 self) – Add To MetaCart

Some Ingredients of Trusted Components
by Kung-Kiu Lau — 2003 — IN PROC. WORKSHOP ON TRUSTED COMPONENTS
… dependencies are satisfied. A certified component, i.e. its interface, should therefore be specified properly…
Cited by 1 (0 self) – Add To MetaCart

A Model for Web Services Discovery with QoS
by Shuping Ran — 2003 — ACM SIGecom Exchanges
… supplier, Web service consumer, Web service QoS certifier, and the new UDDI registry. As before, the Web…
Cited by 38 (0 self) – Add To MetaCart

Controlled Physical Unknown Functions: Applications to Secure
by Smartcards And Certified
…Controlled Physical Unknown Functions: Applications to Secure Smartcards and Certified Execution…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB