2106 search results - page 16 / 422 » Specifying C concepts |
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
JOT
2007
2007
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
13 years 7 months ago
There are various mechanisms for creating an application object model. These mechanisms are used for modeling the application Meta model and the user models. Some of the mechanism...
CHI
2002
ACM
14 years 7 months ago
2002
ACM
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
SP
2003
IEEE
14 years 24 days ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...