1187 search results - page 153 / 238 » Graph-Based Procedural Abstraction |
118
click to vote
ELECTRONICMARKETS
1998
15 years 1 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
134
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
117
click to vote
PKC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Traitor tracing schemes are cryptographically secure broadcast methods that allow identification of conspirators: if a pirate key is generated by k traitors out of a stat...
113
click to vote
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...