4930 search results - page 393 / 986 » Testing a Safety-Critical Application |
160
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
We present a method for automatic extraction of frames from .a dependency graph. Our method uses machine learning applied to a dependency tree to assign frames and assign frame ele...
190
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
168
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
186
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
148
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
We present an extremely minimal ecosystem model which takes account of thermodynamic constraints on the organisms’ metabolism. This suggests a way to test the application of a hy...