129 search results - page 3 / 26 » Making trace monitors feasible |
112
Voted
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
117
Voted
POPL
2000
ACM
15 years 2 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
80
Voted
VISUALIZATION
1998
IEEE
15 years 2 months ago
1998
IEEE
We show that it is feasible to perform interactive isosurfacing of very large rectilinear datasets with brute-force ray tracing on a conventional (distributed) shared-memory multi...
86
Voted
SIGMETRICS
1999
ACM
15 years 2 months ago
1999
ACM
This paper examines the feasibility of performing architectural studies with trace sampling for a suite of desktop application traces on Windows NT. This paper makes three contrib...
70
Voted
MINENET
2005
ACM
15 years 3 months ago
2005
ACM
One of the most pressing problems in network research is the lack of long-term trace data from ISPs. The Internet carries an enormous volume and variety of data; mining this data ...