1407 search results - page 160 / 282 » Towards Usable Analysis, Design and Modeling Tools |
174
click to vote
CAV
2009
Springer
16 years 6 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...
181
click to vote
GLOBECOM
2009
IEEE
16 years 29 days ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...
152
click to vote
ICEIS
2003
IEEE
15 years 11 months ago
2003
IEEE
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
190
click to vote
PRL
2006
15 years 6 months ago
2006
This paper considers the problem of designing an active observer to plan a sequence of decisions regarding what target to look at, through a foveal-sensing action. We propose a fr...
164
click to vote
VIZSEC
2004
Springer
15 years 11 months ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...