5550 search results - page 286 / 1110 » Different Approaches to Proof Systems |
145
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Distributed Denial of Service (DDoS) attack mitigation systems usually generate a list of filter rules in order to block malicious traffic. In contrast to this binary decision we ...
173
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...
158
click to vote
SIAMDM
2008
15 years 6 months ago
2008
A set of pairwise edge-disjoint triangles of an edge-colored Kn is r-color avoiding if it does not contain r monochromatic triangles, each having a different color. Let fr(n) be th...
175
click to vote
SIMULATION
2011
15 years 1 months ago
2011
In a recent paper entitled ‘Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free Networks’ by Huang et al., ...
203
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...