13306 search results - page 335 / 2662 » Theoretical Computer Science |
143
Voted
GI
2003
Springer
15 years 12 months ago
2003
Springer
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
146
Voted
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We provide the first polynomial time algorithm for the linear version of a market equilibrium model defined by Irving Fisher in 1891, thereby partially answering an open questio...
170
Voted
CSR
2010
Springer
15 years 11 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena...
152
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
163
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...