690 search results - page 54 / 138 » Dense Admissible Sets |
CIE
2005
Springer
15 years 5 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
MSN
2005
Springer
15 years 5 months ago
2005
Springer
This paper discusses an efficient implementation of the multiplexing protocol H.223, which is an important part of 3G-324M protocol stack required for 3G mobile multimedia communic...
100
click to vote
ARTQOS
2003
Springer
15 years 5 months ago
2003
Springer
This paper investigates an attempt to establish a QoS class that supports long-lived, bulk-data TCP flows that require a minimum rate from the network. The approach is based on a ...
106
click to vote
CSL
2003
Springer
15 years 5 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
QOFIS
2001
Springer
15 years 4 months ago
2001
Springer
The paper describes the traffic handling mechanisms implemented in the AQUILA pilot QoS IP network [10]. The AQUILA project enhances the DiffServ architecture concept [1,2,3] by ad...