419 search results - page 59 / 84 » Succincter |
DAGSTUHL
2004
14 years 11 months ago
2004
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
ECIS
2004
14 years 11 months ago
2004
Being part of a larger research program, this paper focuses on the impacts of so-called 'Digital Video Recorders' (DVRs) on the video content services industry. First, i...
FORTE
2004
14 years 11 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
AIPS
2003
14 years 11 months ago
2003
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...
FORTE
2003
14 years 11 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...