2004 search results - page 340 / 401 » Support for activity-based computing in a personal computing... |
172
click to vote
NOSSDAV
1992
Springer
15 years 7 months ago
1992
Springer
: We present an overview of a "best-effort" transport protocol that supports conferencing with digital audio and video across interconnected packet switched networks. The...
150
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
137
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
105
click to vote
CF
2008
ACM
15 years 5 months ago
2008
ACM
PRAM (Parallel Random Access Model) has been widely regarded a desirable parallel machine model for many years, but it is also believed to be "impossible in reality." As...
126
click to vote
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Current multi-display environments (MDEs) can be composed of displays with different characteristics (e.g. resolution, size) located in any position and at different angl...