3333 search results - page 227 / 667 » Abstract Proof Search |
162
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
159
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
140
click to vote
WIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We explore expression automata with respect to determinism, minimization and primeness. We define determinism of expression automata using prefix-freeness. This approac...
164
click to vote
FSE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper addresses the security of symmetric cryptosystems in the blockwise adversarial model. At Crypto 2002, Joux, Martinet and Valette have proposed a new kind of at...
152
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...