1465 search results - page 177 / 293 » Making the Correct Mistakes |
157
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
200
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
181
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
157
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...
149
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...