1022 search results - page 40 / 205 » Relators and Metric Bisimulations |
201
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Exploiting the concepts of social networking represents a novel approach to the approximate similarity query processing. We present a metric social network where relations between...
CAISE
2007
Springer
15 years 6 months ago
2007
Springer
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
108
click to vote
ICCSA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...
118
click to vote
IWSEC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...