7890 search results - page 1339 / 1578 » The MathSAT 3 System |
176
Voted
SENSYS
2004
ACM
16 years 1 days ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
181
click to vote
SIGMETRICS
2004
ACM
16 years 1 days ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
201
click to vote
ATVA
2004
Springer
16 years 19 hour ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
192
click to vote
CCS
2004
ACM
16 years 17 hour ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
160
click to vote
CIKM
2004
Springer
16 years 16 hour 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 ...