Sciweavers

1179 search results - page 111 / 236
» Should Superclasses be Abstract
Sort
View
INFOCOM
2002
IEEE
14 years 24 days ago
Stochastic Analysis of Some Expedited Forwarding Networks
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
Milan Vojnovic, Jean-Yves Le Boudec
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 8 days ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
ARGMAS
2006
Springer
13 years 11 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
ESOP
2006
Springer
13 years 11 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
ARTQOS
2003
Springer
13 years 11 months ago
Differentiation and Interaction of Traffic: A Flow Level Study
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
Eeva Nyberg, Samuli Aalto