2162 search results - page 411 / 433 » A Meta-Notation for Protocol Analysis |
ITS
2010
Springer
14 years 2 months ago
2010
Springer
We investigate how positive, neutral and negative feedback responses from an Intelligent Tutoring System (ITS) influences learners‟ affect and physiology. AutoTutor, an ITS with ...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
LCPC
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract—We investigate the performance of TCP under three representatives of packet scheduling algorithms at the router. Our main focus is to investigate how fair service can be...