4212 search results - page 604 / 843 » Rights Expression Languages |
176
click to vote
IEEEARES
2007
IEEE
16 years 26 days ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
203
click to vote
SIES
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
192
click to vote
TIME
2007
IEEE
16 years 25 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
191
click to vote
AIIA
2007
Springer
16 years 22 days ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
185
click to vote
AMR
2007
Springer
16 years 22 days ago
2007
Springer
Recent approaches in Automatic Image Annotation (AIA) try to combine the expressiveness of natural language queries with approaches to minimize the manual effort for image annotat...