1468 search results - page 164 / 294 » On Industrial Use of Requirements Engineering Techniques |
178
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Recent technological advances in imaging industry have lead to the production of imaging systems with high density pixel sensors. However, their long exposure times limit their app...
187
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
187
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
188
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
Testing of 3D stacked ICs (SICs) is becoming increasingly important in the semiconductor industry. In this paper, we address the problem of test architecture optimization for 3D s...
209
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Remote visualization of an arbitrary 2-D planar "cut" from a large volumetric dataset with random access has both gained importance and posed significant challenges over...