12697 search results - page 299 / 2540 » Call for Papers |
174
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
240
click to vote
EUROCRYPT
1993
Springer
15 years 11 months ago
1993
Springer
This work is motivated by the observation that in DES-like ciphexs it is possible to choose the round functions in such a way that every non-trivial one-round characteristic has sm...
152
click to vote
FPCA
1993
15 years 11 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
201
click to vote
HOA
1993
15 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
149
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...