2205 search results - page 186 / 441 » Mutation Operators for Specifications |
138
click to vote
VIZSEC
2004
Springer
15 years 7 months ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...
140
click to vote
LISA
2008
15 years 4 months ago
2008
Signature matching, which includes packet classification and content matching, is the most expensive operation of a signature-based network intrusion detection system (NIDS). In t...
136
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
108
click to vote
PODS
2007
ACM
16 years 2 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
113
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...