13306 search results - page 430 / 2662 » Theoretical Computer Science |
180
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Queries over streaming data offer the potential to provide timely information for modern database applications, such as sensor networks and web services. Isoline-based vi...
183
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
139
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Many studies have shown that the imbalance of network channel traffic is of critical effect on the overall performance of multicomputer systems. In this paper, we analytically mode...
185
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
158
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...