Sciweavers

665 search results - page 73 / 133
» A proposal for an owl rules language
Sort
View
POPL
1999
ACM
15 years 10 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
NLDB
2007
Springer
16 years 9 days ago
Automatic Issue Extraction from a Focused Dialogue
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn ...
COORDINATION
2007
Springer
16 years 10 days ago
Fact Spaces: Coordination in the Face of Disconnection
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
Stijn Mostinckx, Christophe Scholliers, Eline Phil...
IDEAS
2005
IEEE
101views Database» more  IDEAS 2005»
15 years 11 months ago
Rewriting-Based Optimization for XQuery Transformational Queries
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. F...
Maxim Grinev, Peter Pleshachkov
CICLING
2008
Springer
15 years 8 months ago
Mixing Statistical and Symbolic Approaches for Chemical Names Recognition
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solut...
Florian Boudin, Juan Manuel Torres Moreno, Marc El...