Sciweavers

1767 search results - page 181 / 354
» Open Source Ecology
Sort
View
SIGMOD
2005
ACM
118views Database» more  SIGMOD 2005»
16 years 4 months ago
A survey of data provenance in e-science
Data management is growing in complexity as largescale applications take advantage of the loosely coupled resources brought together by grid middleware and by abundant storage cap...
Yogesh Simmhan, Beth Plale, Dennis Gannon
SIGMOD
2004
ACM
114views Database» more  SIGMOD 2004»
16 years 4 months ago
An initial study of overheads of eddies
An eddy [2] is a highly adaptive query processing operator that continuously reoptimizes a query in response to changing runtime conditions. It does this by treating query process...
Amol Deshpande
ICSE
2003
IEEE-ACM
16 years 4 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ICSE
2007
IEEE-ACM
16 years 4 months ago
Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study
Socio-technical processes have come to the forefront of recent analysis of the open source software development (OSSD) world. Interest in making these processes explicit is mounti...
Chris Jensen, Walt Scacchi
DAWAK
2009
Springer
16 years 1 months ago
Recommending Multidimensional Queries.
Interactive analysis of datacube, in which a user navigates a cube by launching a sequence of queries is often tedious since the user may have no idea of what the forthcoming query...
Arnaud Giacometti, Elsa Negre, Patrick Marcel