Sciweavers

2409 search results - page 156 / 482
» On Extended Regular Expressions
Sort
View
LPNMR
2009
Springer
15 years 11 months ago
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
Ping Hou, Marc Denecker
BMCBI
2008
125views more  BMCBI 2008»
15 years 4 months ago
MAID : An effect size based model for microarray data integration across laboratories and platforms
Background: Gene expression profiling has the potential to unravel molecular mechanisms behind gene regulation and identify gene targets for therapeutic interventions. As microarr...
Ivan Borozan, Limin Chen, Bryan Paeper, Jenny E. H...
PODS
2008
ACM
143views Database» more  PODS 2008»
16 years 4 months ago
XPath, transitive closure logic, and nested tree walking automata
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
Balder ten Cate, Luc Segoufin
TRUSTBUS
2009
Springer
15 years 11 months ago
The OPL Access Control Policy Language
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
Christopher Alm, Ruben Wolf, Joachim Posegga
SCP
2010
78views more  SCP 2010»
15 years 3 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...