2576 search results - page 309 / 516 » A case study in test management |
170
click to vote
ICIAP
2001
Springer
16 years 6 months ago
2001
Springer
In Computer Vision, two-dimensional shape classifcation is a complex and well studied topic, often basic for three-dimensional object recognition. Object contours are a widely cho...
196
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
172
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
161
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
159
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...