Sciweavers

403 search results - page 65 / 81
» Implementing Semantic Precision and Recall
Sort
View
MODELS
2007
Springer
14 years 3 months ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
XSYM
2005
Springer
81views Database» more  XSYM 2005»
14 years 3 months ago
MemBeR: A Micro-benchmark Repository for XQuery
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
Loredana Afanasiev, Ioana Manolescu, Philippe Mich...
ER
2008
Springer
128views Database» more  ER 2008»
13 years 11 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 9 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert
ICDE
2009
IEEE
153views Database» more  ICDE 2009»
14 years 11 months ago
Efficient Distribution of Full-Fledged XQuery
Abstract-- We investigate techniques to automatically decompose any XQuery query into subqueries, that can be executed near their data sources; i.e., function-shipping. In this sce...
Ying Zhang, Nan Tang, Peter A. Boncz