15254 search results - page 2743 / 3051 » A k |
180
click to vote
PAM
2007
Springer
16 years 27 days ago
2007
Springer
The DNS root nameservers routinely use anycast in order to improve their service to clients and increase their resilience against various types of failures. We study DNS traffic co...
191
click to vote
SAT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
125
click to vote
SCHULE
2007
Springer
16 years 26 days ago
2007
Springer
: Mit der Einführung neuer Lehrpläne in Sachsen kam es auch im Fach Informatik an Mittelschulen und Gymnasien zu einer inhaltlichen Neuorientierung. Um daraus erwachsenden Anford...
218
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
177
click to vote
TAMC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...