1407 search results - page 267 / 282 » Using Use Cases in Executable Z |
IWPSE
2007
IEEE
15 years 3 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
94
Voted
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Disk subsystem is known to be a major contributor to overall power consumption of high-end parallel systems. Past research proposed several architectural level techniques to reduc...
ASIACRYPT
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we revisit a known but ignored weakness of the RC4 keystream generator, where secret state info leaks to the generated keystream, and show that this leakage, also kno...