1355 search results - page 133 / 271 » Alternating Timed Automata over Bounded Time |
123
click to vote
PODS
2003
ACM
16 years 5 months ago
2003
ACM
We formalize the problem of maintaining time-decaying aggregates and statistics of a data stream: the relative contribution of each data item to the aggregate is scaled down by a ...
138
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
133
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
131
click to vote
SWAT
1994
Springer
15 years 9 months ago
1994
Springer
This paper gives a CREW PRAM algorithm for the problem of finding lowest common ancestors in a forest under the insertion of leaves and roots and the deletion of leaves. For a fore...
128
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...