615 search results - page 50 / 123 » step 2003 |
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a novel methodology for predicting fault prone modules. The methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three step...
LCN
2003
IEEE
15 years 3 months ago
2003
IEEE
— QoS signaling protocol is one of the key components in Internet QoS architectures to establish, maintain, and remove reservation states in network nodes. This paper gives an ov...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
MSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Computer architecture is often taught by having students use software to design and simulate individual pieces of a computer processor. We have developed a method that will take t...
PG
2003
IEEE
15 years 3 months ago
2003
IEEE
Making virtual modeling as easy and intuitive as realclay manipulation is still an unsolved problem. This paper takes a step in this direction: in addition to offering standard fe...