3926 search results - page 477 / 786 » Deriving Information Requirements from Responsibility Models |
195
click to vote
WSE
2006
IEEE
16 years 1 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
219
Voted
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
254
click to vote
CVPR
2009
IEEE
16 years 2 months ago
2009
IEEE
Illuminant estimation from shadows typically relies on accurate segmentation of the shadows and knowledge of exact 3D geometry, while shadow estimation is difficult in the presen...
228
click to vote
AES
2008
Springer
15 years 7 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
223
Voted
TCAD
2008
15 years 7 months ago
2008
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...