1195 search results - page 113 / 239 » Modeling an Algebraic Stepper |
191
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
195
click to vote
FDTC
2010
Springer
15 years 4 months ago
2010
Springer
Many implementations of cryptographic algorithms have shown to be susceptible to fault attacks. For some of them, countermeasures against specific fault models have been proposed. ...
150
click to vote
JCAM
2010
15 years 1 months ago
2010
A macroscopic two-fluid model of compressible particle-laden gas flows is considered. The governing equations are discretized by a high-resolution finite element method based on a...
185
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
171
click to vote
TCS
2008
15 years 6 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...