6201 search results - page 169 / 1241 » Implementation of Axiomatic Language |
129
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object inst...
171
click to vote
TSE
2011
14 years 11 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
115
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
149
click to vote
WWW
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe how domain ontologies are used in a dialogue system guiding the user to access web public administration contents. The current implementation of the sys...
130
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...