3172 search results - page 359 / 635 » Combining Specification Techniques for Processes, Data and T... |
217
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
171
click to vote
DASFAA
1999
IEEE
15 years 11 months ago
1999
IEEE
The spatial query has been processed in two steps, the filter step and the refinement step, due to a large volume and high complexity of the spatial data. However, this approach h...
153
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent error detection (CED) techniques (based on hardware duplication, parity codes, etc.) are widely used to enhance system dependability. All CED techniques introduce some ...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In the past few years considerable attention has been given to the design of multiple-input multiple-output (MIMO) eigenmode transmission systems (EMTS). This paper presents an in...
179
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper introduces a sparse signal representation algorithm in redundant dictionaries, called the M-Term Pursuit (MTP), with an application to image representation and scalable ...