11051 search results - page 207 / 2211 » An Investigation of Generalized Cases |
285
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
165
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
New forms of social affective applications are emerging, bringing with them challenges in design and evaluation. We report on one such application, conveying wellbeing for both pe...
174
click to vote
ICNS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
192
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the results of using sequential analysis to find increment sequences that minimize the average running time of Shellsort, for array sizes up to several thousan...
197
click to vote
ESEC
1993
Springer
15 years 10 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...