Sciweavers

6120 search results - page 999 / 1224
» The Power of Linear Functions
Sort
View
SIGMOD
2005
ACM
107views Database» more  SIGMOD 2005»
16 years 6 months ago
A notation and system for expressing and executing cleanly typed workflows on messy scientific data
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
Yong Zhao, James E. Dobson, Ian T. Foster, Luc Mor...
EDBT
2004
ACM
230views Database» more  EDBT 2004»
16 years 6 months ago
Flexible Integration of Molecular-Biological Annotation Data: The GenMapper Approach
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
Hong Hai Do, Erhard Rahm
EDBT
2008
ACM
137views Database» more  EDBT 2008»
16 years 6 months ago
Optimizing away joins on data streams
Abstract. Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. Often, such streaming aggregation queries involve joining...
Lukasz Golab, Theodore Johnson, Nick Koudas, Dives...
ICSE
2004
IEEE-ACM
16 years 6 months ago
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
Sam Malek, Nels Beckman, Marija Mikic-Rakic, Nenad...
ICFP
2002
ACM
16 years 6 months ago
Type classes with more higher-order polymorphism
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
Matthias Neubauer, Peter Thiemann