6693 search results - page 657 / 1339 » Methods of Automatic Algorithm Generation |
224
click to vote
FMCO
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
178
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
196
click to vote
AMAST
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
204
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Differentiating anomalous network activity from normal network traffic is difficult and tedious. A human analyst must search through vast amounts of data to find anomalous sequenc...
188
click to vote
PLDI
1995
ACM
15 years 11 months ago
1995
ACM
DSP architectures typically provide indirect addressing modes with auto-increment and decrement. In addition, indexing mode is not available, and there are usually few, if any, ge...