19 search results - page 4 / 4 » Detecting the Logical Content: Burley's 'Purity of Logic' |
VLSISP
2008
13 years 5 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
ICISS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
HICSS
2009
IEEE
14 years 3 days ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— We investigate the effect of packet delays and packet drops on networked control systems. First we consider the problem of where to locate a controller or state estimator in a...