2779 search results - page 420 / 556 » Modelling Immunological Memory |
142
Voted
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
139
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
121
Voted
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
126
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
109
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
Challenge questions are an increasingly important part of mainstream authentication solutions, yet there are few published studies concerning their usability or security. This pap...