4693 search results - page 814 / 939 » Verifying Hybrid Systems |
122
Voted
WEBDB
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...
103
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
88
Voted
UIST
2000
ACM
15 years 5 months ago
2000
ACM
We have implemented a computer interface that renders synchronized auditory and haptic stimuli with very low (0.5ms) latency. The audio and haptic interface (AHI) includes a Panto...
101
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
124
click to vote
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose a flow-control scheme for multicast ABR services in ATM networks. At the heart of the proposed scheme is an optimal secondorder rate control algorithm, called the -contr...