Sciweavers

280 search results - page 37 / 56
» Semantic Metrics
Sort
View
SEBD
2007
114views Database» more  SEBD 2007»
13 years 9 months ago
A New Type of Metadata for Querying Data Integration Systems
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
Sonia Bergamaschi, Francesco Guerra, Mirko Orsini,...
INFOCOM
2009
IEEE
14 years 2 months ago
An Evaluation of Weak State Mechanism Design for Indirection in Dynamic Networks
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
Utku Gunay Acer, Alhussein A. Abouzeid, Shivkumar ...
PDP
2009
IEEE
14 years 2 months ago
Byte-Range Asynchronous Locking in Distributed Settings
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
Martin Quinson, Flavien Vernier
ISSTA
2009
ACM
14 years 2 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
ICPR
2008
IEEE
14 years 2 months ago
Block-diagonal form of distance matrix for region-based image retrieval
There are two substantial open issues in the field of the image retrieval: semantic gap between computationally extracted low-level features and human operated high-level concepts...
Dmitry Kinoshenko, Vladimir Mashtalir, Elena Yegor...