Sciweavers

1524 search results - page 195 / 305
» Game Relations and Metrics
Sort
View
LCN
2003
IEEE
15 years 11 months ago
Strategies for Finding Stable Paths in Mobile Wireless Ad Hoc Networks
In this paper, we introduce statistical methods to estimate the stability of paths in a mobile wireless ad hoc environment. Identifying stable paths helps to reduce control trafď¬...
Michael Gerharz, Christian de Waal, Peter Martini,...
STACS
2010
Springer
15 years 11 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco
CIE
2010
Springer
15 years 11 months ago
Spatial Models for Virtual Networks
This paper discusses the use of spatial graph models for the analysis of networks that do not have a direct spatial reality, such as web graphs, on-line social networks, or citatio...
Jeannette Janssen
BTW
2001
Springer
117views Database» more  BTW 2001»
15 years 11 months ago
XMach-1: A Benchmark for XML Data Management
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
Timo Böhme, Erhard Rahm
HYBRID
2001
Springer
15 years 11 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren