3495 search results - page 353 / 699 » On the random satisfiable process |
200
Voted
EDCC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
153
Voted
CRYPTO
2004
Springer
16 years 7 days ago
2004
Springer
Recently proposed algebraic attacks [2, 6] and fast algebraic attacks [1, 5] have provided the best analyses against some deployed LFSR-based ciphers. The process complexity is exp...
170
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program and system comprehension are vital parts of the software maintenance process. We discuss the need for both perspectives and describe two methods that may be integrated to ...
178
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as op...
187
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...