Sciweavers

1709 search results - page 242 / 342
» networks 2000
Sort
View
CHI
2000
ACM
14 years 1 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»
14 years 1 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
14 years 1 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
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
14 years 1 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»
14 years 1 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