1760 search results - page 264 / 352 » A System to Mark Programs Automatically |
148
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
127
Voted
RAS
2000
15 years 3 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...
133
click to vote
ICAIL
2009
ACM
15 years 9 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
119
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
157
click to vote
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...