550 search results - page 44 / 110 » A Logic for Application Level QoS |
184
click to vote
TON
2010
15 years 17 days ago
2010
Abstract--After the seminal work by Taqqu et al. relating selfsimilarity to heavy-tailed distributions, a number of research articles verified that aggregated Internet traffic time...
206
click to vote
ISCA
2011
IEEE
14 years 9 months ago
2011
IEEE
Today’s chip-level multiprocessors (CMPs) feature up to a hundred discrete cores, and with increasing levels of integration, CMPs with hundreds of cores, cache tiles, and specia...
151
click to vote
ENTCS
2006
15 years 5 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
137
click to vote
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
189
click to vote
PROLAMAT
2001
15 years 7 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...