Sciweavers

2746 search results - page 34 / 550
» Case Study in Survivable Network System Analysis
Sort
View
TPHOL
1998
IEEE
15 years 1 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
SAFECOMP
2005
Springer
15 years 3 months ago
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
George Bearfield, William Marsh
ICDM
2010
IEEE
157views Data Mining» more  ICDM 2010»
14 years 7 months ago
Privacy Violations Using Microtargeted Ads: A Case Study
In this paper we propose a new class of attacks that exploit advertising systems offering microtargeting capabilities in order to breach user privacy. We study the advertising syst...
Aleksandra Korolova
PRDC
1999
IEEE
15 years 1 months ago
Networked Windows NT System Field Failure Data Analysis
This paper presents a measurement-based dependability study of a Networked Windows NT system based on field data collected from NT System Logs from 503 servers running in a produc...
Jun Xu, Zbigniew Kalbarczyk, Ravishankar K. Iyer
ICICS
2001
Springer
15 years 2 months ago
Quantifying Network Denial of Service: A Location Service Case Study
Network Denial of Service (DoS) attacks are increasing in frequency, severity and sophistication, making it desirable to measure the resilience of systems to DoS attacks. In this p...
Yan Chen, Adam W. Bargteil, David Bindel, Randy H....