2205 search results - page 324 / 441 » Mutation Operators for Specifications |
107
click to vote
CIE
2008
Springer
15 years 4 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
116
Voted
APSCC
2006
IEEE
15 years 4 months ago
2006
IEEE
Detecting intrusions at host level is vital to protecting shared resources in grid, but traditional Host-based Intrusion Detecting System (HIDS) is not suitable for grid environme...
109
Voted
ASAP
2007
IEEE
15 years 4 months ago
2007
IEEE
Network processors utilizing general-purpose instruction-set architectures (ISA) limit network throughput due to latency incurred from cryptography and hashing applications (AES, ...
119
Voted
CTRSA
2008
Springer
15 years 4 months ago
2008
Springer
We present a study of several fault attacks against the block cipher IDEA. Such a study is particularly interesting because of the target cipher's specific property to employ ...
142
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...