4809 search results - page 79 / 962 » Scalable Analysis of Scalable Systems |
149
click to vote
IADIS
2004
15 years 6 months ago
2004
Most Internet services rely on the traditional client-server model, where the quality of services usually depends on the performance of those servers. In this paper, we propose a ...
167
Voted
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...
116
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
237
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose a distributed XML stream filtering system that uses a large number of subscribers' profiles, written in XPath expressions, to filter XML streams and then publish t...
139
Voted
ICMCS
1997
IEEE
15 years 8 months ago
1997
IEEE
With the wide-spread popularity of the World-Wide Web (WWW), network and server load increases dramatically. Caching proxies have been introduced to improve the system performance...