1722 search results - page 193 / 345 » Generating Tests from Counterexamples |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
DBPL
2003
Springer
14 years 2 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
APSCC
2006
IEEE
14 years 29 days ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
FGR
2006
IEEE
14 years 27 days ago
2006
IEEE
In Sign Language recognition, one of the problems is to collect enough training data. Almost all of the statistical methods used in Sign Language Recognition suffer from this prob...
TDP
2008
13 years 9 months ago
2008
Publishing data for analysis from a micro data table containing sensitive attributes, while maintaining individual privacy, is a problem of increasing significance today. The k-ano...