11022 search results - page 1866 / 2205 » Programming Systems for Autonomy |
203
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
165
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Reports of NAND flash device testing in the literature have for the most part been limited to examination of circuit-level parameters on raw flash chips or prototypes, and syste...
162
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transformations from shared memory model to wireless sensor networks (WSNs) quickly become inefficient in the presence of prevalent message losses in WSNs, and this prohi...
166
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
172
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...