2748 search results - page 406 / 550 » Generating Object-Z Specifications from Use Cases |
119
click to vote
SIGOPS
2010
15 years 2 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
138
click to vote
TCBB
2010
15 years 2 months ago
2010
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...
119
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
135
click to vote
NOLISP
2005
Springer
15 years 9 months ago
2005
Springer
The difficulty of obtaining data from impostors and the scarcity of data are two factors that have a large influence in the estimation of speakerdependent thresholds in text-depend...
143
click to vote
CLEF
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...