22 search results - page 1 / 5 » Formulas for which Contraction is Admissible |
IGPL
1998
13 years 4 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
TC
2008
13 years 4 months ago
2008
A call admission control scheme named thinning scheme, which smoothly throttles the admission rates of calls according to their priorities and aims to provide multiple prioritized ...
QUESTA
2010
12 years 11 months ago
2010
Consider a multiclass stochastic network with state dependent service rates and arrival rates describing bandwidth-sharing mechanisms as well as admission control and/or load bala...
AAAI
1998
13 years 6 months ago
1998
SSFisasystemtodiscoverthestructureofsimultaneous equations governing an objective process through experiments. SSF combined with another system SDS to discover a quantitative form...
ICAS
2005
IEEE
13 years 10 months ago
2005
IEEE
The paper1 deals with the problem of assuring predefined QoS for real time (RT) class of service (CoS), which we define as one of inter-provider or inter-domain classes of service...