Search Sciweavers | Sciweavers

1426 search results - page 3 / 286

» A theory of goal-oriented communication

click to vote

ITA
2006

102views Communications» more ITA 2006»

Theories of orders on the set of words

14 years 9 months ago

Download www.labri.fr

Dietrich Kuske

claim paper

Read More »

click to vote

MEMOCODE
2010
IEEE

131views Formal Methods» more MEMOCODE 2010»

A flexible schema for generating explanations in lazy theory propagation

14 years 7 months ago

Download www.verify.inf.unisi.ch

Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...

Roberto Bruttomesso, Edgar Pek, Natasha Sharygina

claim paper

Read More »

click to vote

INFOCOM
2012
IEEE

204views Communications» more INFOCOM 2012»

A theory of cloud bandwidth pricing for video-on-demand providers

12 years 12 months ago

Download iqua.ece.toronto.edu

—Current-generation cloud computing is offered with usage-based pricing, with no bandwidth capacity guarantees, which is however unappealing to bandwidth-intensive applications s...

Di Niu, Chen Feng, Baochun Li

claim paper

Read More »

click to vote

INFOCOM
1991
IEEE

118views Communications» more INFOCOM 1991»

Multi-Objective Routing in Integrated Services Networks: A Game Theory Approach

15 years 1 months ago

Download www.conta.uom.gr

Anastasios A. Economides, John A. Silvester

claim paper

Read More »