SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Cuckoo hashing was introduced by Pagh and Rodler in 2001 [12]. A set S of n keys is stored in two tables T1 and T2 each of which has m cells of capacity 1 such that constant access...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer