1468 search results - page 97 / 294 » On Industrial Use of Requirements Engineering Techniques |
ALENEX
2001
14 years 11 months ago
2001
Abstract. Search engines often employ techniques for determining syntactic similarity of Web pages. Such a tool allows them to avoid returning multiple copies of essentially the sa...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
107
click to vote
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
AHS
2006
IEEE
15 years 4 months ago
2006
IEEE
It has been a decade since the need of VLSI design intellectual property (IP) protection was identified [1,2]. The goals of IP protection are 1) to enable IP providers to protect ...