892 search results - page 78 / 179 » Calculating with Requirements |
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
105
click to vote
CIIT
2004
15 years 2 months ago
2004
( )1 The most common metric for evaluating the performance of an optical communications system is the symbol error probability (SEP) versus the received optical power. In circuit-l...
108
click to vote
VISUALIZATION
1996
IEEE
15 years 5 months ago
1996
IEEE
This can be a costly operation. When the data is arranged according to its three-dimensional coordinates, calculating the contour surfaces requires examining each data cell. Avoidi...
118
click to vote
ICCCN
2008
IEEE
15 years 7 months ago
2008
IEEE
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...
157
click to vote
ACSC
2003
IEEE
15 years 6 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...