2413 search results - page 216 / 483 » Models for universal usability |
110
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
: Spin-Torque Transfer Magnetic RAM (STT MRAM) is a promising candidate for future universal memory. It combines the desirable attributes of current memory technologies such as SRA...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
100
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
106
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
ECIS
2003
15 years 2 months ago
2003
Despite the phenomenal growth of Internet users, the penetration rate of Internet shopping remains low. Previous works suggesting that the lack of trust is the major impediment st...