129 search results - page 3 / 26 » Making trace monitors feasible |
SACMAT
2010
ACM
14 years 1 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 ...
POPL
2000
ACM
14 years 27 days 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...
VISUALIZATION
1998
IEEE
14 years 23 days 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...
SIGMETRICS
1999
ACM
14 years 25 days 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...
MINENET
2005
ACM
14 years 2 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 ...