10263 search results - page 230 / 2053 » From Use Cases to System Operation Specifications |
218
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
240
click to vote
SCP
2000
15 years 7 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
144
Voted
COLING
1994
15 years 8 months ago
1994
CT In this paper, we describe a tool designed to generate semi-automatically the sortal constraints specific to a domain to be used in a natural language (NL) understanding system....
191
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
212
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Similarity joins have been studied as key operations in multiple application domains, e.g., record linkage, data cleaning, multimedia and video applications, and phenomena detectio...