7956 search results - page 139 / 1592 » Into the Future |
QOFIS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, the concept of fairness as a future field of research in computer networks is investigated. We motivate the need of examining fairness issues by providing ...
ACTA
2004
13 years 10 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
TRIDENTCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Today's disruptive approaches to rearchitecting the Internet, e.g., Clean Slate Networking initiatives require testbeds that present unprecedented flexibility to the experimen...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
— MIMO systems are of interest to meet the expected demands for higher data rates and lower delays in future wireless