15253 search results - page 366 / 3051 » Integer-Programming Software Systems |
235
click to vote
JITECH
2010
15 years 1 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
198
click to vote
RV
2007
Springer
16 years 28 days ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
178
click to vote
TSE
2002
15 years 6 months ago
2002
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
219
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
190
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...