1941 search results - page 304 / 389 » Reasoning about Computations Using Two-Levels of Logic |
156
Voted
EON
2008
15 years 4 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
165
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
105
Voted
COLT
2007
Springer
15 years 9 months ago
2007
Springer
When comparing discrete probability distributions, natural measures of similarity are not p distances but rather are informationdivergences such as Kullback-Leibler and Hellinger. ...
131
Voted
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
112
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...