4325 search results - page 373 / 865 » Incremental computation with names |
195
click to vote
DBSEC
2008
15 years 8 months ago
2008
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
153
click to vote
CCR
2008
15 years 7 months ago
2008
There is a growing sentiment among academics in computing that a shift to multicore processors in commodity computers will demand that all programmers become parallel programmers....
159
click to vote
ECEASST
2008
15 years 7 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
198
click to vote
ECCC
2006
15 years 7 months ago
2006
We focus on the problem of computing an -Nash equilibrium of a bimatrix game, when is an absolute constant. We present a simple algorithm for computing a 3 4 -Nash equilibrium for ...
185
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...