13913 search results - page 2696 / 2783 » models 2007 |
NDSS
2007
IEEE
14 years 4 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
SGP
2007
14 years 13 days ago
2007
In this paper, we consider the problem of reconstructing a shape from unorganized cross-sections. The main motivation for this problem comes from medical imaging applications wher...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
: In the industry, numerous commercial packages provide tools to introduce, and analyse human behaviour in the product's environment (for maintenance, ergonomics...), thanks t...
GI
2007
Springer
14 years 4 months ago
2007
Springer
: Der Ansatz der modellgetriebenen Softwareentwicklung fokussiert die Entwicklung von Software durch deren Modellierung und einer anschließenden Transformation auf den Quellcode d...
IFM
2007
Springer
14 years 4 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...