2570 search results - page 299 / 514 » Reliability Modeling Using UML |
158
click to vote
FORTE
2008
15 years 5 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
145
Voted
CARS
2003
15 years 4 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...
122
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
106
Voted
DAC
2007
ACM
15 years 7 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
140
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...