5096 search results - page 225 / 1020 » Associations as a Language Construct |
194
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...
198
click to vote
KAIS
2010
15 years 5 months ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...
228
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
201
click to vote
SAFECOMP
2005
Springer
16 years 3 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
163
click to vote
FOSSACS
2004
Springer
16 years 23 hour ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...