4212 search results - page 347 / 843 » Rights Expression Languages |
166
Voted
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
156
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
We introduce the problem of grammar mining, where patterns are context-free grammars, as a generalization of a large number of common pattern mining tasks, such as tree, sequence ...
173
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
179
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
197
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...