2940 search results - page 409 / 588 » Relational Parametricity and Control |
155
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
We are presenting a framework for continuous querying of time-varying streamed XML data. A continuous stream in our framework consists of a finite XML document followed by a conti...
158
Voted
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
112
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
171
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
151
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...