Sciweavers

403 search results - page 65 / 81
» Implementing Semantic Precision and Recall
Sort
View
94
Voted
MODELS
2007
Springer
15 years 6 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, ...
113
Voted
XSYM
2005
Springer
81views Database» more  XSYM 2005»
15 years 5 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...
101
Voted
ER
2008
Springer
128views Database» more  ER 2008»
15 years 2 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
92
Voted
CORR
2010
Springer
152views Education» more  CORR 2010»
15 years 14 days 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
212
Voted
ICDE
2009
IEEE
153views Database» more  ICDE 2009»
16 years 2 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