2576 search results - page 390 / 516 » A case study in test management |
184
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
211
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
175
click to vote
ASUNAM
2010
IEEE
15 years 6 months ago
2010
IEEE
—To understand the diffusive spreading of a product in a telecom network, whether the product is a service, handset, or subscription, it can be very useful to study the structure...
260
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
182
click to vote
CAISE
2007
Springer
16 years 10 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...