696 search results - page 73 / 140 » Explaining abstract counterexamples |
161
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
We report in this paper measurements from France Telecom commercial networks carrying traffic generated and received by ADSL and FTTH customers. By adopting a flowbased approach to...
ACTA
2007
15 years 3 months ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
115
Voted
ECEASST
2006
15 years 3 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
119
click to vote
IIE
2006
15 years 3 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
145
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract--Network performance can be increased if the traditionally separated network layers are jointly optimized. Recently, network utility maximization has emerged as a powerful...