3179 search results - page 452 / 636 » Applications of PCF Theory |
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally ...
IRI
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, a framework for replacing missing values in a database is proposed since a real-world database is seldom complete. Good data quality in a database can directly impr...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper addresses an effective technique for digital fingerprinting for video. While orthogonal modulation technique is a straightforward and widely used method for digital ...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
MICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...