1022 search results - page 118 / 205 » Relators and Metric Bisimulations |
152
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
153
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
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ď¬...
170
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
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...
148
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
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...
172
click to vote
BTW
2001
Springer
15 years 10 months ago
2001
Springer
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...