9110 search results - page 168 / 1822 » Formally-Based Design Evaluation |
115
click to vote
CN
2002
15 years 4 months ago
2002
This paper provides means for performance evaluation of a queue with Poisson Pareto Burst Process (PPBP) input. Because of the long range dependent nature of the PPBP, straightfor...
163
click to vote
TON
2010
14 years 11 months ago
2010
Accurately selecting modulation rates for time-varying channel conditions is critical for avoiding performance degradations due to rate overselection when channel conditions degra...
142
Voted
SAINT
2003
IEEE
15 years 10 months ago
2003
IEEE
The growth of the Internet has led to new avenues for distance education. A crucial factor for the success of distance education is effective mechanisms for distance evaluation. E...
110
click to vote
TEI
2010
ACM
15 years 12 months ago
2010
ACM
Tabletop systems have become quite popular in recent years, during which there was considerable enthusiasm for the development of new interfaces. In this paper, we establish a com...
161
Voted
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
We present the design, implementation, and user testing of a prototype augmented reality application to support military mechanics conducting routine maintenance tasks inside an a...