3731 search results - page 242 / 747 » cases 2006 |
248
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
132
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the results of a case study in which outbound SPAM, here referring to excessive amounts of bulk-generated email, is suppressed using dynamic Port 25 blocking. ...
167
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
This work tackles the categorization of general linear radial patterns by means of the valleys and ridges detection and the use of descriptors of directional information, which are...
159
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We study functions with multiple output values, and use active sampling to identify an example for each of the possible output values. Our results for this setting include: (1) Eff...
171
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Recent work on self-stabilizing routing in publish/subscribe systems showed that it is feasible to automate reconfigurations in case of faults by enabling the system to recover fro...