STOC
2010
ACM
13 years 9 months ago
2010
ACM
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMSâ...
EGOV
2003
Springer
13 years 9 months ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
IAW
2003
IEEE
13 years 9 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...