6014 search results - page 865 / 1203 » Structural Testing with Use Cases |
146
Voted
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
138
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In this study we use a fast Fourier spectral technique to simulate the Navier-Stokes equations with no-slip boundary conditions. This is enforced by an immersed boundary technique ...
124
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...
151
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
133
click to vote
WSC
2007
15 years 7 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...