4117 search results - page 528 / 824 » On the Satisfiability of Complex Constraints |
185
click to vote
SEFM
2003
IEEE
16 years 2 days ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
171
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
As household appliances grow in complexity and sophistication, they become harder and harder to use, particularly because of their tiny display screens and limited keyboards. This...
220
click to vote
CCS
2003
ACM
16 years 1 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
173
click to vote
EUROCRYPT
2003
Springer
16 years 19 hour ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...
190
click to vote
FATES
2003
Springer
16 years 17 hour ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...