5630 search results - page 197 / 1126 » Computability in Specification |
157
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
133
click to vote
AISM
2004
15 years 6 months ago
2004
The `Need to Know' concept is often quoted but rarely defined in the literature. In general the principle directs that unless an individual has a specific reason to have acce...
131
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
123
Voted
DAC
2001
ACM
16 years 5 months ago
2001
ACM
This presentation will give a list of design criteria an ASIC Design house need to look in the process of deciding to take the complex Bluetooth specification and implement everyt...
152
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...