1022 search results - page 37 / 205 » Relators and Metric Bisimulations |
TSMC
2002
14 years 11 months ago
2002
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
STOC
2005
ACM
16 years 3 days ago
2005
ACM
A low-distortion embedding between two metric spaces is a mapping which preserves the distances between each pair of points, up to a small factor called distortion. Low-distortion...
ISMVL
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes new metrics for the data structure referred to as quantum multiple-valued decision diagrams (QMDD) which are used to represent the matrices describing reversi...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
EAGC
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...