5608 search results - page 922 / 1122 » On the Theory of Matchgate Computations |
104
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...
110
click to vote
LICS
2003
IEEE
15 years 7 months 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...
121
click to vote
LICS
2003
IEEE
15 years 7 months 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...
134
Voted
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
106
click to vote
SBACPAD
2003
IEEE
15 years 7 months ago
2003
IEEE
— One of the main challenges to the wide use of the Internet is the scalability of the servers, that is, their ability to handle the increasing demand. Scalability in stateful se...