6303 search results - page 488 / 1261 » A Generated Management for Distributed Systems |
169
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
180
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
222
click to vote
WIDM
2006
ACM
16 years 25 days ago
2006
ACM
Geoscience studies produce data from various observations, experiments, and simulations at an enormous rate. With proliferation of applications and data formats, the geoscience re...
275
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Database queries are often exploratory and users often find their queries return too many answers, many of them irrelevant. Existing work either categorizes or ranks the results t...
206
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...