James Riely and Radha Jagadeesan - Free people check

(1 - 9 from 13

)

Radha Jagadeesan, Corin Pitcher & James Riely, Noninterference for...

philpapers.org

J. G. Anderson (1973). Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to ...

Programming Languages and Systems: 17th European Symposium on...

books.google.de

... in Distributed Objects (Extended Abstract)⋆ Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, and James Riely School of CTI, DePaul University Abstract.

[ ] Lambda-RBAC: Programming with Role-Based Access Control

arxiv.org

Authors: Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely (Submitted on 7 Dec (v1), last revised 9 Jan (this version, v2) ...

A Calculus of Untyped Aspect-Oriented Programs - Enabling ...

ect.bell-labs.com

Radha Jagadeesan, Alan Jeffrey, and James Riely. CTI, DePaul University. Abstract. Aspects have emerged as a powerful tool in the design and develop-.

dblp: Radha Jagadeesan

dblp.uni-trier.de

List of computer science publications by Radha Jagadeesan

All web results to the name "James Riely"

IEEE Computer Security Foundations program

www.ieee-security.org

Design and Semantics of a Decentralized Authorization Language. Andrew Cirillo, Radha Jagadeesan, Corin Pitcher and James Riely Do As I SaY! Programmatic Access Control with Explicit Identities. Cedric Fournet, Andy Gordon and Sergio Maffeis A Type Discipline for Authorization in Distributed Systems. 10: :00.