4212 search results - page 562 / 843 » Rights Expression Languages |
147
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
187
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
157
click to vote
AI
2007
Springer
16 years 24 days ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘orâ...
187
click to vote
B
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
200
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Privacy is considered critical for all organizations needing to manage individual related information. As such, there is an increasing need for access control models which can adeq...