4917 search results - page 192 / 984 » Software Engineering is Not Computer Science |
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
133
click to vote
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
122
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
119
click to vote
APL
1995
ACM
15 years 6 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
128
click to vote
FSTTCS
2010
Springer
15 years 24 days ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...