585 search results - page 86 / 117 » Better Abstractions for Timed Automata |
121
Voted
AIWORC
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—In next-generation enterprises it will become increasingly important to retrieve information efficiently and rapidly from widely dispersed sites in a virtual enterprise...
97
Voted
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—The innovative techniques of TCP Vegas have been the subject of much debate in recent years. Several studies have reported that TCP Vegas provides better performance tha...
102
click to vote
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A t out of n threshold scheme is such that shares are distributed to n participants so that any set of t participants can compute the secret, whereas any set of less than...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
We will demonstrate our system, called V iStream, supporting interactive visual exploration of neighbor-based patterns [7] in data streams. V istream does not only apply innovativ...
131
Voted
HIPC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...