5387 search results - page 384 / 1078 » Generating generic functions |
144
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
155
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
170
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
173
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
167
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...