6348 search results - page 194 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
120
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
137
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
107
click to vote
CHES
2009
Springer
16 years 4 months ago
2009
Springer
? This paper gives an overview of the place of reverse engineering (RE) in the semiconductor industry, and the techniques used to obtain information from semiconductor products. Th...
141
click to vote
ISSRE
2005
IEEE
15 years 9 months ago
2005
IEEE
End-user programmers are increasingly relying on web authoring environments to create web applications. Although often consisting primarily of web pages, such applications are inc...
135
click to vote
FECS
2007
15 years 5 months ago
2007
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...