903 search results - page 123 / 181 » Usability inspection methods |
102
Voted
WORM
2003
15 years 1 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
142
Voted
FORTE
1994
15 years 1 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
109
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: Modelling the interaction between potentially antigenic peptides and Major Histocompatibility Complex (MHC) molecules is a key step in identifying potential T-cell epi...
124
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
113
click to vote
HCI
2007
15 years 2 months ago
2007
Mobile phones, with their increasing processing power and memory, are enabling a diversity of tasks. The traditional text entry method using keypad is falling short in numerous way...