2632 search results - page 400 / 527 » Alternating Timed Automata |
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Deregulated wholesale markets for bulk electricity supplies are likely to deviate from the perfectly competitive ideal in many areas where transmission losses, costs and capacity ...
101
click to vote
INFOCOM
1998
IEEE
15 years 6 months ago
1998
IEEE
Memory bandwidth is frequently a limiting factor in the design of high-speed switches and routers. In this paper, we introduce a buffering scheme called ping-pong buffering, that ...
133
click to vote
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
117
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
108
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Users of Web search engines are often forced to sift through the long ordered list of document “snippets” returned by the engines. The IR community has explored document cluste...