187
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
188
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
181
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...
194
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
198
Voted
ICALP
2009
Springer
16 years 10 days ago
2009
Springer
189
click to vote
ICALP
2009
Springer
16 years 10 days ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
198
Voted
ICALP
2009
Springer
16 years 10 days ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
165
Voted
ICALP
2009
Springer
16 years 10 days ago
2009
Springer
206
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
205
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...