1536 search results - page 257 / 308 » The Underlying Logic of Hoare Logic |
184
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
160
click to vote
IPMU
2010
Springer
15 years 8 months ago
2010
Springer
The classification of remote sensing images performed with different classifiers usually produces different results. The aim of this paper is to investigate whether the outputs of ...
179
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
193
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
173
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
This paper introduces a method of constructing random number generators from four of the basic primitives provided by FPGAs: Flip-Flips, Lookup-Tables, Shift Registers, and RAMs. ...