1336 search results - page 79 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
131
Voted
CIA
2004
Springer
15 years 9 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
127
click to vote
IANDC
2010
15 years 2 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
137
click to vote
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...
172
Voted
TIM
2010
14 years 10 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
152
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...