20831 search results - page 4025 / 4167 » Quantum Computation and Information |
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
SP
2007
IEEE
14 years 4 months ago
2007
IEEE
We evaluate website authentication measures that are designed to protect users from man-in-the-middle, ‘phishing’, and other site forgery attacks. We asked 67 bank customers t...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
ALGOSENSORS
2007
Springer
14 years 4 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...