Sciweavers

5668 search results - page 142 / 1134
» Overlaps in Requirements Engineering
Sort
View
152
Voted
CLUSTER
2009
IEEE
15 years 1 months ago
Design alternatives for implementing fence synchronization in MPI-2 one-sided communication for InfiniBand clusters
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...
Gopalakrishnan Santhanaraman, Tejus Gangadharappa,...
115
Voted
ESSOS
2009
Springer
15 years 7 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
200
Voted
ICDE
2004
IEEE
85views Database» more  ICDE 2004»
16 years 4 months ago
A Frequency-based Approach for Mining Coverage Statistics in Data Integration
Query optimization in data integration requires source coverage and overlap statistics. Gathering and storing the required statistics presents many challenges, not the least of wh...
Zaiqing Nie, Subbarao Kambhampati
CAIP
2009
Springer
200views Image Analysis» more  CAIP 2009»
15 years 10 months ago
Recognition-Based Segmentation of Nom Characters from Body Text Regions of Stele Images Using Area Voronoi Diagram
Segmentation of Nom characters from body text regions of stele images is a challenging problem due to the confusing spatial distribution of the connected components composing these...
Thai V. Hoang, Salvatore Tabbone, Ngoc-Yen Pham
FSTTCS
2004
Springer
15 years 9 months ago
Toward a Grainless Semantics for Shared-Variable Concurrency
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
John C. Reynolds