Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Proceedings ArticleDOI
Using policies in the checking of business to business contracts
Peter F. Linington,S. Neal +1 more
TL;DR: This work considers a contract monitoring system intended to provide automated checking of business to business contracts, sets out a suitable model and explains how it can be used to guide the representation and control of contracts in a prototype monitoring system.
Journal ArticleDOI
A Longitudinal Study of Google Play
TL;DR: In this paper, the authors performed a detailed temporal analysis on two datasets collected from the Google Play Store, one consisting of 160,000 apps and the other of 87 223 newly released apps.
Proceedings ArticleDOI
A unified security framework for networked applications
TL;DR: A new unified access control mechanism that supports most of the existing security models and offers a number of additional controls that are not normally provided by security mechanisms is proposed.
Journal ArticleDOI
On the notion of object
TL;DR: This article examines the seemingly simple notion of object from conceptual, philosophical, data abstraction, implementation, and formal viewpoints to provide new insights into what objects in object-oriented programming are.
Book ChapterDOI
Notions of aliasing and ownership
Alan Mycroft,Janina Voigt +1 more
TL;DR: This work argues for a more holistic approach to the topic of aliasing and ownership, arguing that ownership corresponds to a higher-level structured view of the net of objects and references, analogous to higher- level types in programming languages.