Searching for authors named George Lee – sorted by Relevance.
77 documents found, showing 1 through 10.
Next 10 →
-
Diagnosis of TCP overlay connection failures using Bayesian networks
- …Diagnosis of TCP Overlay Connection Failures using Bayesian Networks ABSTRACT George J. Lee…
- Cited by 2 (1 self) – Add To MetaCart
-
Research on Proof-Carrying Code for Untrusted-Code Security
- …Research on Proof-Carrying Code for Untrusted-Code Security George Necula Peter Lee Carnegie…
- Cited by 9 (0 self) – Add To MetaCart
-
Research on Proof-Carrying Code for Mobile-Code Security
- …Research on Proof-Carrying Code for Mobile-Code Security A Position Paper Peter Lee George Necula…
- Cited by 12 (0 self) – Add To MetaCart
-
Polymorph: An Algorithm For Morphing Among Multiple Images
- …POLYMORPH: AN ALGORITHM FOR MORPHING AMONG MULTIPLE IMAGES Seungyong Lee Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Proof Generation in the Touchstone Theorem Prover
- …Proof Generation in the Touchstone Theorem Prover George C. Necula 1 and Peter Lee 2 1…
- Cited by 13 (0 self) – Add To MetaCart
-
Defining Specialization for Process Models
- … School of Management (ph) 617-353-4153 Jintae Lee (jintae@(email omitted);) College of Business. Univ…
- Cited by 1 (0 self) – Add To MetaCart
-
Safe, Untrusted Agents using Proof-Carrying Code
- …Safe, Untrusted Agents using Proof-Carrying Code George C. Necula and Peter Lee Carnegie Mellon…
- Cited by 24 (3 self) – Add To MetaCart
-
Efficient Representation and Validation of Logical Proofs
- …Efficient Representation and Validation of Logical Proofs George C. Necula Peter Lee October 1997…
- Cited by 43 (8 self) – Add To MetaCart
-
The Design and Implementation of a Certifying Compiler
- …. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213…
- Cited by 225 (9 self) – Add To MetaCart
-
Efficient Representation and Validation of Proofs
- …Efficient Representation and Validation of Proofs George C. Necula Peter Lee School of Computer…
- Cited by 42 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
