7988 search results - page 1240 / 1598 » A Useful Undecidable Theory |
198
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
— In this paper, we present an analytical TCP model that takes into account of several issues that were ignored in the other existing models (such as those in [15], [19]), i.e., ...
182
click to vote
IRI
2003
IEEE
16 years 3 days ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
151
Voted
ISIPTA
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
190
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
189
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...