'Handling ambiguity' presentation slideshows

Sketch Beautification: Progress and Plans

314 views • 31 slides

Type-directed coercion insertion for security enforcement

Type-directed coercion insertion for security enforcement . Michael Hicks , University of Maryland Nik Swamy, MSR Redmond Gavin Bierman, MSR Cambridge. Secure programming with proxies Fable: Type-correctness = Security. Flexible : Can enforce of a wide range of policies

263 views • 19 slides

Drug Forms

Drug Forms. Jim Cimino. A Modest Goal. Mapping actual drugs to Clinical Drug terms Exchanging Clinical Drug terms sufficient for a variety of purposes Question: Will some loss of information be acceptable? Does decision support care about pill vs. capsule?. Clincial Drug Review.

376 views • 18 slides