5639 search results - page 675 / 1128 » Timed Abstract Non-interference |
140
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
147
click to vote
ICOIN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. TFRC (TCP Friendly Rate Control) is a rate-based congestion control protocol for non-TCP flows. TFRC controls the sending rate by using the TCP throughput equation consi...
155
click to vote
COCOA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In wireless communication networks, optimal use of the directional antenna is very important. The directional antenna coverage (DAC) problem is to cover all clients with ...
146
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
168
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...