824 search results - page 22 / 165 » Model-Based Monitoring of Dynamic Systems |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The vulnerability of smart grid systems is a growing concern. Signal detection theory is employed here to detect a change in the system. We employ a discrete-time linear state spa...
95
Voted
SEW
2003
IEEE
15 years 3 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
JNSM
2007
14 years 10 months ago
2007
One problem encountered while monitoring gigabit networks, is the need to filter only those packets that are interesting for a given task while ignoring the others. Popular packet...
ICCD
2005
IEEE
15 years 7 months ago
2005
IEEE
FPGA logic densities continue to increase at a tremendous rate. This has had the undesired consequence of increased power density, which manifests itself as higher ondie temperatu...
84
Voted
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...