1021 search results - page 39 / 205 » Pure Subtype Systems |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
HYBRID
2003
Springer
14 years 29 days ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
COMCOM
2004
13 years 7 months ago
2004
Pricing content defines a major challenge for tomorrow's Internet, since existing models appear to be unworkable. However, the provider of content, commercial ones as well as...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...