5457 search results - page 710 / 1092 » Clinical requirements engineering |
172
click to vote
FORTE
1996
15 years 8 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
164
click to vote
AAAI
1990
15 years 8 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
156
click to vote
IJCAI
1989
15 years 8 months ago
1989
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
215
Voted
UAI
2007
15 years 8 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
176
Voted
WCET
2007
15 years 8 months ago
2007
For component-based systems, classical techniques for Worst-Case Execution Time (WCET) estimation produce unacceptable overestimations of a components WCET. This is because softwa...