100 search results - page 3 / 20 » Strict Basic Superposition |
SIGMETRICS
2006
ACM
15 years 5 months ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
JSYML
2000
14 years 11 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
SIAMJO
2008
14 years 11 months ago
2008
Abstract. The recently introduced proximal average of two convex functions is a convex function with many useful properties. In this paper, we introduce and systematically study th...
104
click to vote
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—We study communication in networks with multiple source-destination pairs and relays. In such networks, the channel output at any destination receiver consists of both the desir...