3719 search results - page 456 / 744 » Pellet System Description |
194
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper contains a detailed description of the congestion control algorithm of TRAM, a tree-based reliable multicast protocol. This algorithm takes advantage of regular ackn...
199
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
154
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. While providing non-visual access to graphical user interfaces has been the topic of research for over 20 years, blind users still face many obstacles when using computer...
187
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
220
click to vote
MMB
2001
Springer
15 years 11 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...