410 search results - page 75 / 82 » Validating Cyber Security Requirements: A Case Study |
BMCBI
2008
13 years 7 months ago
2008
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...
JSAC
2006
13 years 7 months ago
2006
Recently, the notion that a logical next step towards future mobile radio networks is to introduce multihop relaying into cellular networks, has gained wide acceptance. Nevertheles...
EDO
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
JCS
2006
13 years 7 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Network routing may be required, under certain applications, to avoid certain areas (or nodes) These areas can be of potential security threat, possess poor quality or have other ...