ICALP
2009
Springer
14 years 3 months ago
2009
Springer
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
ICALP
2009
Springer
14 years 4 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...
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
ICALP
2009
Springer
14 years 5 months 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...
ICALP
2009
Springer
14 years 5 months 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...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
ICALP
2009
Springer
14 years 7 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...