5180 search results - page 738 / 1036 » Requirements Engineering |
213
click to vote
ICFEM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
175
click to vote
DATE
2003
IEEE
16 years 22 days ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
191
click to vote
NSPW
2003
ACM
16 years 20 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
226
click to vote
EMSOFT
2003
Springer
16 years 19 days ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
197
click to vote
VLDB
2001
ACM
15 years 12 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...