816 search results - page 110 / 164 » Performance Analysis Of A WWW Server |
153
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
111
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
118
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
124
click to vote
ANSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The IP Multimedia Subsystem (IMS) is envisioned as the solution for the next generation multimedia rich communication. Based on an open IP infrastructure, it enables convergence o...
146
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...