4018 search results - page 25 / 804 » Process algebra for performance evaluation |
105
click to vote
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Recently, flash memory is emerging as the storage device. With price sliding fast, the cost per capacity is approaching to that of SATA disk drives. So far flash memory has been ...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes performance measures to evaluate object tracking algorithms using object labels and sizes.. The usefulness and effectiveness of the proposed evaluation measure...
DIAGRAMS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
ECSQARU
2009
Springer
14 years 7 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
QEST
2008
IEEE
15 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...