713 search results - page 67 / 143 » Syntax and Semantics of Babel-17 |
118
click to vote
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
107
Voted
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
127
click to vote
SOFTVIS
2003
ACM
15 years 6 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
101
click to vote
ISMB
1997
15 years 2 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...