8663 search results - page 1708 / 1733 » 10 papers on network models |
221
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
200
Voted
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
189
Voted
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
127
Voted
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...
128
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...