6978 search results - page 133 / 1396 » Reframing Requirements Analysis |
LCPC
2007
Springer
15 years 4 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
121
click to vote
SIGCOMM
1995
ACM
15 years 1 months ago
1995
ACM
MD5 is an authentication algorithm proposed as the required implementation of the authentication option in IPv6. This paper presents an analysis of the speed at which MD5 can be i...
DMS
2008
14 years 11 months ago
2008
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
1 Biological conclusions reached during microarray experiments can be greatly affected by human intervention, which is currently required in microarray image analysis. Therefore, a...