2152 search results - page 165 / 431 » An Abstract Account of Composition |
192
click to vote
EUROCRYPT
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. We generalize the Weil descent construction of the GHS attack to arbitrary Artin-Schreier extensions. We give a formula for the characteristic polynomial of Frobenius of ...
167
click to vote
IFL
2003
Springer
16 years 8 days ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
171
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
184
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
226
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...