1253 search results - page 133 / 251 » Studying Software Evolution for Taming Software Complexity |
130
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
138
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
128
click to vote
SIAMNUM
2011
14 years 10 months ago
2011
We present a method to approximate (in any space dimension) diffusion equations with schemes having a specific structure; this structure ensures that the discrete local maximum a...
118
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
161
click to vote
IUI
2009
ACM
15 years 8 months ago
2009
ACM
Editing facial expressions of virtual characters is quite a complex task. The face is made up of many muscles, which are partly activated concurrently. Virtual faces with human exp...