3356 search results - page 369 / 672 » Computing education for sustainability |
215
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
149
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In [Spi], we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There, our...
170
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We address the problem of building an index for a set D of n strings, where each string location is a subset of some finite integer alphabet of size , so that we can answer effici...
199
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We exhibit incentive compatible multi-unit auctions that are not affine maximizers (i.e. are not of the VCG family) and yet approximate the social welfare to within a factor of 1 ...
162
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We study several problems related to finding reset words in deterministic finite automata. In particular, we establish that the problem of deciding whether a shortest reset word ha...