Search

• < Previous
• 1
• Next >

---

Approximate reasoning for real-time probabilistic processes

Vineet Gupta ; Radha Jagadeesan ; Prakash Panangaden.

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential&nbsp;[&hellip;]

---

Lambda-RBAC: Programming with Role-Based Access Control

Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely.

We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expressed, in situ, as part of the code realizing basic functionality. In this setting, two questions immediately arise: (1) The&nbsp;[&hellip;]

---