1186 search results - page 89 / 238 » On Designing an Experiment to Evaluate a Reverse Engineering... |
CAV
2009
Springer
15 years 10 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...
P2P
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed computing is a very broad and active research area comprising fields such as cluster computing, computational grids, desktop grids and peer-to-peer (P2P) systems. Unf...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
ISESE
2005
IEEE
15 years 3 months ago
2005
IEEE
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...
EKAW
2006
Springer
15 years 1 months ago
2006
Springer
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....