28445 search results - page 426 / 5689 » Anatomically based modeling |
104
Voted
ICISS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...
134
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
140
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
130
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
104
Voted
IWDC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...