6704 search results - page 1264 / 1341 » Testing Scenario-Based Models |
149
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
145
Voted
KBSE
2010
IEEE
15 years 24 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
137
click to vote
SIAMIS
2010
15 years 22 days ago
2010
Surface registration, which transforms different sets of surface data into one common reference space, is an important process which allows us to compare or integrate the surface ...
111
click to vote
SPEECH
2010
15 years 22 days ago
2010
We have applied two state-of-the-art speech synthesis techniques (unit selection and HMM-based synthesis) to the synthesis of emotional speech. A series of carefully designed perc...
114
click to vote
ASIACRYPT
2010
Springer
15 years 12 days ago
2010
Springer
In a recent work, Mangard et al. showed that under certain assumptions, the (so-called) standard univariate side-channel attacks using a distance-of-means test, correlation analysi...