2520 search results - page 348 / 504 » Model-checking behavioral programs |
101
Voted
CIB
2005
15 years 2 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
131
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
We improve the resistance of gossip-based multicast to (Distributed) Denial of Service (DoS) attacks using dynamic local adaptations at each node. Each node estimates the current ...
146
click to vote
SIAMCO
2011
14 years 9 months ago
2011
We study properties of solutions to fully nonlinear versions of the standard Black– Scholes partial differential equation. These equations have been introduced in financial mat...
118
click to vote
COGSR
2011
14 years 9 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
119
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...