5775 search results - page 217 / 1155 » A Rationale-based Analysis Tool |
171
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
270
click to vote
AIMS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. IP Geolocation is used to determine the geographical location of Internet users based on their IP addresses. When it comes to security, most of the traditional geolocatio...
177
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
206
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present a tool that, from automatically recognised names, tries to infer inter-person relations in order to present associated people on maps. Based on an in-house Named Entity...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Researchers wishing to conduct genetic association analysis involving single nucleotide polymorphisms (SNPs) or haplotypes are often confronted with the lack of user-f...