Sciweavers

1709 search results - page 242 / 342
» networking 2000
Sort
View
CHI
2000
ACM
15 years 10 months ago
Presenting to local and remote audiences: design and use of the TELEP system
The current generation of desktop computers and networks are bringing streaming audio and video into widespread use. A small investment allows presentations or lectures to be mult...
Gavin Jancke, Jonathan Grudin, Anoop Gupta
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 10 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
SAC
2000
ACM
15 years 10 months ago
A Synchronization Model for Hypermedia Documents Navigation
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
Augusto Celentano, Ombretta Gaggi
130
Voted
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
15 years 10 months ago
Object-orientation in Java for scientific programmers
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...
Judith Bishop, Nigel Bishop
SIGMETRICS
2000
ACM
107views Hardware» more  SIGMETRICS 2000»
15 years 10 months ago
Detecting shared congestion of flows via end-to-end measurement
Current Internet congestion control protocols operate independently on a per-flow basis. Recent work has demonstrated that cooperative congestion control strategies between flow...
Dan Rubenstein, James F. Kurose, Donald F. Towsley