5608 search results - page 316 / 1122 » On the Theory of Matchgate Computations |
172
click to vote
KESAMSTA
2007
Springer
16 years 27 days ago
2007
Springer
Queueing Theory deals with problems where some restricted resource should be shared between competitive flow of requests. In this paper we use Queueing Theory methods to perform a...
189
click to vote
SARA
2007
Springer
16 years 26 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
177
click to vote
SARA
2007
Springer
16 years 26 days ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
177
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
176
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
Symmetric and semisymmetric graphs are used in many scientific domains, especially parallel computation and interconnection networks. The industry and the research world make a h...