3809 search results - page 436 / 762 » Associative language descriptions |
181
click to vote
ISW
2005
Springer
16 years 1 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
169
click to vote
SAMOS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
170
Voted
ECWEB
2004
Springer
16 years 28 days ago
2004
Springer
RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event th...
176
click to vote
ICALT
2003
IEEE
16 years 25 days ago
2003
IEEE
Learning Objects Metadata describing educational resources in order to allow better reusability and retrieval. Unfortunately, annotating complete courses thoroughly with LOM metad...
175
Voted
COOPIS
2002
IEEE
16 years 15 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...