7766 search results - page 232 / 1554 » Testing Nondeterminate Systems |
166
click to vote
ASWEC
2006
IEEE
16 years 7 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
159
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
209
click to vote
CSREAESA
2008
15 years 7 months ago
2008
A group testing-based BIST technique to identify faulty hard cores in FPGA devices is presented. The method provides for isolation of faults in embedded cores as demonstrated by ex...
156
click to vote
LREC
2008
15 years 7 months ago
2008
Recently, most of the research in NLP has concentrated on the creation of applications coping with textual entailment. However, there still exist very few resources for the evalua...
160
click to vote
COMPUTER
2008
15 years 6 months ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...