2448 search results - page 412 / 490 » The Octahedron Abstract Domain |
GECON
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...
ASWEC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—A key parameter affecting the operation of differential evolution (DE) is the crossover rate Cr ∈ [0, 1]. While very low values are recommended for and used with separ...
EACL
2010
ACL Anthology
13 years 9 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...