17185 search results - page 3271 / 3437 » Computational and Quantitative Studies |
204
click to vote
RTSS
2007
IEEE
16 years 26 days 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...
188
click to vote
SACI
2007
IEEE
16 years 26 days ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
205
click to vote
SMC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
150
click to vote
SP
2007
IEEE
16 years 26 days 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...
198
click to vote
TPHOL
2007
IEEE
16 years 26 days 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 ...