13383 search results - page 2625 / 2677 » Abstractions from proofs |
CCR
2004
13 years 7 months ago
2004
Abstract-- Human error in configuring routers undermines attempts to provide reliable, predictable end-to-end performance on IP networks. Manual configuration, while expensive and ...
CCR
2004
13 years 7 months ago
2004
Abstract-- The vision is tantalizing: a high-performance, scalable, and widely deployed wireless Internet that facilitates services ranging from radically new and unforeseen applic...
CG
2004
Springer
13 years 7 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
CGA
2004
13 years 7 months ago
2004
graphical abstractions, Hyperscore provides a visual analogue for what is happening structurally in the music as opposed to displaying musical events in procedural notation or as a...
COMPUTER
2004
13 years 7 months ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...