2351 search results - page 264 / 471 » A Method of Requirement Inconsistency Analysis |
143
click to vote
PR
2007
15 years 5 months ago
2007
In this paper we address the problem of how to learn a structural prototype that can be used to represent the variations present in a set of trees. The prototype serves as a patte...
210
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
168
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
184
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Recent advances and automation in DNA sequencing technology has created a vast amount of DNA sequence data. This increasing growth of sequence data demands better and ...
168
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...