293 search results - page 2 / 59 » Computing Stable Models by Using the ATMS |
INFOCOM
1997
IEEE
13 years 9 months ago
1997
IEEE
We propose a
ow-control scheme that combines the merits of credit- and rate-based
ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...
ICMCS
1997
IEEE
13 years 9 months ago
1997
IEEE
An important concept in the available bit rate (ABR) service model as defined by the ATM Forum is the minimum cell rate (MCR) guarantee as well as the peak cell rate (PCR) constra...
AMAI
2008
Springer
13 years 4 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LCN
1995
IEEE
13 years 8 months ago
1995
IEEE
The waiting tame and queue length characteristics of isochronous, synchronous and asynchronous traffic at the gateway between FDDI-11 and A T M networks are analyzed. A generalize...
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...