910 search results - page 133 / 182 » XACML Function Annotations |
94
Voted
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
69
Voted
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
62
Voted
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
DSN
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
56
Voted
SAINT
2006
IEEE
15 years 4 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...