1379 search results - page 219 / 276 » codes 2009 |
103
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
Polychronization has been proposed as a possible way to investigate the notion of cell assemblies and to understand their role as memory supports for information coding. In a spiki...
117
Voted
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
114
Voted
ISEUD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
80
Voted
ISW
2009
Springer
15 years 7 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...