1060 search results - page 60 / 212 » Mechanized semantics |
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
MSV
2007
14 years 11 months ago
2007
- Researchers are faced with a wide range of tasks when interacting with the literature of a scientific field. These tasks range from determining the field’s seminal documents, f...
ENTCS
2007
14 years 9 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
JWSR
2006
14 years 9 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
SACMAT
2004
ACM
15 years 3 months ago
2004
ACM
This paper maintains that for an access-control mechanism to support a wide range of policies, it is best to dispense with any built-in semantics for roles in the mechanism itself...