3021 search results - page 558 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
154
Voted
COMSWARE
2006
IEEE
15 years 9 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
108
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
149
Voted
SYNASC
2006
IEEE
15 years 9 months ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
120
Voted
SMA
2005
ACM
15 years 9 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
154
Voted
GRID
2005
Springer
15 years 9 months ago
2005
Springer
— We present the ASKALON environment whose goal is to simplify the development and execution of workflow applications on the Grid. ASKALON is centered around a set of high-level...