Sciweavers

3316 search results - page 517 / 664
» Mining Software Engineering Data
Sort
View
PVLDB
2010
200views more  PVLDB 2010»
15 years 1 days ago
SAPPER: Subgraph Indexing and Approximate Matching in Large Graphs
With the emergence of new applications, e.g., computational biology, new software engineering techniques, social networks, etc., more data is in the form of graphs. Locating occur...
Shijie Zhang, Jiong Yang, Wei Jin
ESWA
2010
158views more  ESWA 2010»
14 years 11 months ago
Interval competitive agglomeration clustering algorithm
1 In this study, a novel robust clustering algorithm, robust interval competitive agglomeration (RICA) clustering algorithm, is proposed to overcome the problems of the outliers, t...
Jin-Tsong Jeng, Chen-Chia Chuang, Chin-Wang Tao
POPL
2004
ACM
16 years 1 months ago
Separation and information hiding
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 3 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
EUROSYS
2008
ACM
15 years 10 months ago
GreenFS: making enterprise computers greener by protecting them better
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...
Nikolai Joukov, Josef Sipek