2539 search results - page 67 / 508 » Debugging Method Names |
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
ADC
2004
Springer
15 years 3 months ago
2004
Springer
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
An integrated and effective metal artifact reduction method named Metal Erasing (ME) especially suited to dental applications is proposed. Layout of metals is identified as metal-...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...