2771 search results - page 134 / 555 » Advances in Document Engineering |
110
click to vote
REFSQ
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...
119
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
JTAER
2008
15 years 21 days ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
106
click to vote
APSEC
2006
IEEE
15 years 4 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
112
Voted
KBSE
1994
IEEE
15 years 4 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...