11063 search results - page 113 / 2213 » On the existence of universal models |
WINE
2005
Springer
14 years 3 months ago
2005
Springer
We propose a simple and intuitive cost mechanism which assigns costs for the competitive usage of m resources by n selfish agents. Each agent has an individual demand; demands are...
ICSP
1993
13 years 11 months ago
1993
The importance of a clear conceptual and terminological framework for software process engineering and the shortcomings of previous clari cation attempts are discussed. A rst issu...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
CRYPTO
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the problem of random selection, where p players follow a protocol to jointly select a random element of a universe of size n. However, some of the players ma...
NC
2011
13 years 1 months ago
2011
In this paper we consider three variants of accepting networks of evolutionary processors. It is known that two of them are equivalent to Turing machines. We propose here a direct ...